├── README.md
├── clover
    ├── pom.xml
    └── src
    │   ├── main
    │       └── java
    │       │   └── example
    │       │       └── Foo.java
    │   └── test
    │       └── java
    │           └── example
    │               ├── Foo_ESTest.java
    │               └── Foo_ESTest_scaffolding.java
├── cobertura
    ├── pom.xml
    └── src
    │   ├── main
    │       └── java
    │       │   └── example
    │       │       └── Foo.java
    │   └── test
    │       └── java
    │           └── example
    │               ├── Foo_ESTest.java
    │               └── Foo_ESTest_scaffolding.java
├── jacoco-offline
    ├── pom.xml
    └── src
    │   ├── main
    │       └── java
    │       │   └── example
    │       │       └── Foo.java
    │   └── test
    │       └── java
    │           └── example
    │               ├── Foo_ESTest.java
    │               └── Foo_ESTest_scaffolding.java
├── jacoco
    ├── pom.xml
    └── src
    │   ├── main
    │       └── java
    │       │   └── example
    │       │       └── Foo.java
    │   └── test
    │       └── java
    │           └── example
    │               ├── Foo_ESTest.java
    │               └── Foo_ESTest_scaffolding.java
├── openclover
    ├── pom.xml
    └── src
    │   ├── main
    │       └── java
    │       │   └── example
    │       │       └── Foo.java
    │   └── test
    │       └── java
    │           └── example
    │               ├── Foo_ESTest.java
    │               └── Foo_ESTest_scaffolding.java
└── pit
    ├── pom.xml
    └── src
        ├── main
            └── java
            │   └── example
            │       └── Foo.java
        └── test
            └── java
                └── example
                    ├── Foo_ESTest.java
                    └── Foo_ESTest_scaffolding.java


/README.md:
--------------------------------------------------------------------------------
 1 | # Using EvoSuite together with coverage analysis tools
 2 | 
 3 | ## PIT
 4 | 
 5 | PIT works with generated tests if separate classloader is set to false. It does not work
 6 | otherwise.
 7 | 
 8 | ## Jacoco
 9 | 
10 | Jacoco with a JavaAgent for instrumentation at classloading-time works with generated tests 
11 | if separate classloader is set to false. It does not work otherwise.
12 | 
13 | Jacoco with offline instrumentation works regardless of the classloader
14 | setting. It is important, however, to explicitly set the location of the
15 | jacoco.exec file. The commandline for Jacoco with offline instrumentation
16 | is:
17 | 
18 | mvn clean test jacoco:restore-instrumented-classes jacoco:report
19 | 
20 | ## Cobertura
21 | 
22 | Works regardless of classloader setting.
23 | 
24 | 
25 | ## Clover
26 | 
27 | Works regardless of classloader setting.
28 | 


--------------------------------------------------------------------------------
/clover/pom.xml:
--------------------------------------------------------------------------------
 1 | <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
 2 |          xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
 3 | 
 4 |   <modelVersion>4.0.0</modelVersion>
 5 |   <groupId>org.evosuite</groupId>
 6 |   <artifactId>example-clover</artifactId>
 7 |   <version>0.0.1-SNAPSHOT</version>
 8 | 
 9 |   <properties>
10 |     <junit.version>4.12</junit.version>
11 |   </properties>
12 | 
13 |   <dependencies>
14 |     <dependency>
15 |       <groupId>junit</groupId>
16 |       <artifactId>junit</artifactId>
17 |       <version>${junit.version}</version>
18 |       <scope>test</scope>
19 |     </dependency>
20 |     <dependency>
21 |       <groupId>org.evosuite</groupId>
22 |       <artifactId>evosuite-standalone-runtime</artifactId>
23 |       <version>1.0.6</version>
24 |       <scope>test</scope>
25 |     </dependency>
26 |     <dependency>
27 |       <groupId>org.slf4j</groupId>
28 |       <artifactId>slf4j-nop</artifactId>
29 |       <version>1.7.25</version>
30 |       <scope>test</scope>
31 |     </dependency>
32 |   </dependencies>
33 |   
34 |   <build>
35 |     <plugins>
36 |       <plugin>
37 |         <groupId>com.atlassian.maven.plugins</groupId>
38 |         <artifactId>clover-maven-plugin</artifactId>
39 |         <version>4.1.2</version>
40 |         <configuration>
41 |           <excludes>
42 |             <exclude>**/*_ESTest.java</exclude>
43 |             <exclude>**/*_ESTest_scaffolding.java</exclude>
44 |           </excludes>
45 |         </configuration>
46 |       </plugin>
47 |     </plugins>
48 |   </build>
49 | </project>
50 | 


--------------------------------------------------------------------------------
/clover/src/main/java/example/Foo.java:
--------------------------------------------------------------------------------
 1 | package example;
 2 | 
 3 | public class Foo {
 4 | 
 5 |     private int y = 0;
 6 | 
 7 |     public boolean testMe(int x) {
 8 |         return x == 42;
 9 |     }
10 | 
11 |     public void inc() {
12 |         y++;
13 |     }
14 | 
15 |     public boolean isFoo() {
16 |         return y == 2;
17 |     }
18 | }
19 | 


--------------------------------------------------------------------------------
/clover/src/test/java/example/Foo_ESTest.java:
--------------------------------------------------------------------------------
 1 | /*
 2 |  * This file was automatically generated by EvoSuite
 3 |  * Sun Feb 11 18:46:50 GMT 2018
 4 |  */
 5 | 
 6 | package example;
 7 | 
 8 | import org.junit.Test;
 9 | import static org.junit.Assert.*;
10 | import example.Foo;
11 | import org.evosuite.runtime.EvoRunner;
12 | import org.evosuite.runtime.EvoRunnerParameters;
13 | import org.junit.runner.RunWith;
14 | 
15 | @RunWith(EvoRunner.class) @EvoRunnerParameters(mockJVMNonDeterminism = true, useVFS = true, useVNET = true, resetStaticState = true, separateClassLoader = true, useJEE = true) 
16 | public class Foo_ESTest extends Foo_ESTest_scaffolding {
17 | 
18 |   @Test(timeout = 4000)
19 |   public void test0()  throws Throwable  {
20 |       Foo foo0 = new Foo();
21 |       boolean boolean0 = foo0.isFoo();
22 |       assertFalse(boolean0);
23 |   }
24 | 
25 |   @Test(timeout = 4000)
26 |   public void test1()  throws Throwable  {
27 |       Foo foo0 = new Foo();
28 |       boolean boolean0 = foo0.testMe(131);
29 |       assertFalse(boolean0);
30 |   }
31 | 
32 |   @Test(timeout = 4000)
33 |   public void test2()  throws Throwable  {
34 |       Foo foo0 = new Foo();
35 |       foo0.inc();
36 |       assertFalse(foo0.isFoo());
37 |       
38 |       foo0.inc();
39 |       boolean boolean0 = foo0.isFoo();
40 |       assertTrue(boolean0);
41 |   }
42 | 
43 |   @Test(timeout = 4000)
44 |   public void test3()  throws Throwable  {
45 |       Foo foo0 = new Foo();
46 |       boolean boolean0 = foo0.testMe(42);
47 |       assertTrue(boolean0);
48 |   }
49 | 
50 |   @Test(timeout = 4000)
51 |   public void test4()  throws Throwable  {
52 |       Foo foo0 = new Foo();
53 |       boolean boolean0 = foo0.testMe(0);
54 |       assertFalse(boolean0);
55 |   }
56 | 
57 |   @Test(timeout = 4000)
58 |   public void test5()  throws Throwable  {
59 |       Foo foo0 = new Foo();
60 |       foo0.inc();
61 |       foo0.inc();
62 |       assertTrue(foo0.isFoo());
63 |       
64 |       foo0.inc();
65 |       boolean boolean0 = foo0.isFoo();
66 |       assertFalse(boolean0);
67 |   }
68 | }
69 | 


--------------------------------------------------------------------------------
/clover/src/test/java/example/Foo_ESTest_scaffolding.java:
--------------------------------------------------------------------------------
 1 | /**
 2 |  * Scaffolding file used to store all the setups needed to run 
 3 |  * tests automatically generated by EvoSuite
 4 |  * Sun Feb 11 18:46:50 GMT 2018
 5 |  */
 6 | 
 7 | package example;
 8 | 
 9 | import org.evosuite.runtime.annotation.EvoSuiteClassExclude;
10 | import org.junit.BeforeClass;
11 | import org.junit.Before;
12 | import org.junit.After;
13 | import org.junit.AfterClass;
14 | import org.evosuite.runtime.sandbox.Sandbox;
15 | import org.evosuite.runtime.sandbox.Sandbox.SandboxMode;
16 | 
17 | @EvoSuiteClassExclude
18 | public class Foo_ESTest_scaffolding {
19 | 
20 |   @org.junit.Rule 
21 |   public org.evosuite.runtime.vnet.NonFunctionalRequirementRule nfr = new org.evosuite.runtime.vnet.NonFunctionalRequirementRule();
22 | 
23 |   private static final java.util.Properties defaultProperties = (java.util.Properties) java.lang.System.getProperties().clone(); 
24 | 
25 |   private org.evosuite.runtime.thread.ThreadStopper threadStopper =  new org.evosuite.runtime.thread.ThreadStopper (org.evosuite.runtime.thread.KillSwitchHandler.getInstance(), 3000);
26 | 
27 | 
28 |   @BeforeClass 
29 |   public static void initEvoSuiteFramework() { 
30 |     org.evosuite.runtime.RuntimeSettings.className = "example.Foo"; 
31 |     org.evosuite.runtime.GuiSupport.initialize(); 
32 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfThreads = 100; 
33 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfIterationsPerLoop = 10000; 
34 |     org.evosuite.runtime.RuntimeSettings.mockSystemIn = true; 
35 |     org.evosuite.runtime.RuntimeSettings.sandboxMode = org.evosuite.runtime.sandbox.Sandbox.SandboxMode.RECOMMENDED; 
36 |     org.evosuite.runtime.sandbox.Sandbox.initializeSecurityManagerForSUT(); 
37 |     org.evosuite.runtime.classhandling.JDKClassResetter.init();
38 |     setSystemProperties();
39 |     initializeClasses();
40 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
41 |   } 
42 | 
43 |   @AfterClass 
44 |   public static void clearEvoSuiteFramework(){ 
45 |     Sandbox.resetDefaultSecurityManager(); 
46 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
47 |   } 
48 | 
49 |   @Before 
50 |   public void initTestCase(){ 
51 |     threadStopper.storeCurrentThreads();
52 |     threadStopper.startRecordingTime();
53 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().initHandler(); 
54 |     org.evosuite.runtime.sandbox.Sandbox.goingToExecuteSUTCode(); 
55 |     setSystemProperties(); 
56 |     org.evosuite.runtime.GuiSupport.setHeadless(); 
57 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
58 |     org.evosuite.runtime.agent.InstrumentingAgent.activate(); 
59 |   } 
60 | 
61 |   @After 
62 |   public void doneWithTestCase(){ 
63 |     threadStopper.killAndJoinClientThreads();
64 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().safeExecuteAddedHooks(); 
65 |     org.evosuite.runtime.classhandling.JDKClassResetter.reset(); 
66 |     resetClasses(); 
67 |     org.evosuite.runtime.sandbox.Sandbox.doneWithExecutingSUTCode(); 
68 |     org.evosuite.runtime.agent.InstrumentingAgent.deactivate(); 
69 |     org.evosuite.runtime.GuiSupport.restoreHeadlessMode(); 
70 |   } 
71 | 
72 |   public static void setSystemProperties() {
73 |  
74 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
75 |     java.lang.System.setProperty("file.encoding", "UTF-8"); 
76 |     java.lang.System.setProperty("java.awt.headless", "true"); 
77 |     java.lang.System.setProperty("user.country", "AT"); 
78 |     java.lang.System.setProperty("user.language", "en"); 
79 |     java.lang.System.setProperty("user.timezone", "Europe/Berlin"); 
80 |   }
81 | 
82 |   private static void initializeClasses() {
83 |     org.evosuite.runtime.classhandling.ClassStateSupport.initializeClasses(Foo_ESTest_scaffolding.class.getClassLoader() ,
84 |       "example.Foo"
85 |     );
86 |   } 
87 | 
88 |   private static void resetClasses() {
89 |   }
90 | }
91 | 


--------------------------------------------------------------------------------
/cobertura/pom.xml:
--------------------------------------------------------------------------------
 1 | <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
 2 |          xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
 3 | 
 4 |   <modelVersion>4.0.0</modelVersion>
 5 |   <groupId>org.evosuite</groupId>
 6 |   <artifactId>example-cobertura</artifactId>
 7 |   <version>0.0.1-SNAPSHOT</version>
 8 | 
 9 |   <properties>
10 |     <junit.version>4.12</junit.version>
11 |   </properties>
12 | 
13 |   <dependencies>
14 |     <dependency>
15 |       <groupId>junit</groupId>
16 |       <artifactId>junit</artifactId>
17 |       <version>${junit.version}</version>
18 |       <scope>test</scope>
19 |     </dependency>
20 |     <dependency>
21 |       <groupId>org.evosuite</groupId>
22 |       <artifactId>evosuite-standalone-runtime</artifactId>
23 |       <version>1.0.6</version>
24 |       <scope>test</scope>
25 |     </dependency>
26 |     <dependency>
27 |       <groupId>org.slf4j</groupId>
28 |       <artifactId>slf4j-nop</artifactId>
29 |       <version>1.7.25</version>
30 |       <scope>test</scope>
31 |     </dependency>
32 |   </dependencies>
33 |   
34 |   <reporting>
35 |     <plugins>
36 |       <plugin>
37 |         <groupId>org.codehaus.mojo</groupId>
38 |         <artifactId>cobertura-maven-plugin</artifactId>
39 |         <version>2.7</version>
40 |       </plugin>
41 |     </plugins>
42 |   </reporting>
43 | </project>
44 | 


--------------------------------------------------------------------------------
/cobertura/src/main/java/example/Foo.java:
--------------------------------------------------------------------------------
 1 | package example;
 2 | 
 3 | public class Foo {
 4 | 
 5 |     private int y = 0;
 6 | 
 7 |     public boolean testMe(int x) {
 8 |         return x == 42;
 9 |     }
10 | 
11 |     public void inc() {
12 |         y++;
13 |     }
14 | 
15 |     public boolean isFoo() {
16 |         return y == 2;
17 |     }
18 | }
19 | 


--------------------------------------------------------------------------------
/cobertura/src/test/java/example/Foo_ESTest.java:
--------------------------------------------------------------------------------
 1 | /*
 2 |  * This file was automatically generated by EvoSuite
 3 |  * Sun Feb 11 18:46:50 GMT 2018
 4 |  */
 5 | 
 6 | package example;
 7 | 
 8 | import org.junit.Test;
 9 | import static org.junit.Assert.*;
10 | import example.Foo;
11 | import org.evosuite.runtime.EvoRunner;
12 | import org.evosuite.runtime.EvoRunnerParameters;
13 | import org.junit.runner.RunWith;
14 | 
15 | @RunWith(EvoRunner.class) @EvoRunnerParameters(mockJVMNonDeterminism = true, useVFS = true, useVNET = true, resetStaticState = true, separateClassLoader = true, useJEE = true) 
16 | public class Foo_ESTest extends Foo_ESTest_scaffolding {
17 | 
18 |   @Test(timeout = 4000)
19 |   public void test0()  throws Throwable  {
20 |       Foo foo0 = new Foo();
21 |       boolean boolean0 = foo0.isFoo();
22 |       assertFalse(boolean0);
23 |   }
24 | 
25 |   @Test(timeout = 4000)
26 |   public void test1()  throws Throwable  {
27 |       Foo foo0 = new Foo();
28 |       boolean boolean0 = foo0.testMe(131);
29 |       assertFalse(boolean0);
30 |   }
31 | 
32 |   @Test(timeout = 4000)
33 |   public void test2()  throws Throwable  {
34 |       Foo foo0 = new Foo();
35 |       foo0.inc();
36 |       assertFalse(foo0.isFoo());
37 |       
38 |       foo0.inc();
39 |       boolean boolean0 = foo0.isFoo();
40 |       assertTrue(boolean0);
41 |   }
42 | 
43 |   @Test(timeout = 4000)
44 |   public void test3()  throws Throwable  {
45 |       Foo foo0 = new Foo();
46 |       boolean boolean0 = foo0.testMe(42);
47 |       assertTrue(boolean0);
48 |   }
49 | 
50 |   @Test(timeout = 4000)
51 |   public void test4()  throws Throwable  {
52 |       Foo foo0 = new Foo();
53 |       boolean boolean0 = foo0.testMe(0);
54 |       assertFalse(boolean0);
55 |   }
56 | 
57 |   @Test(timeout = 4000)
58 |   public void test5()  throws Throwable  {
59 |       Foo foo0 = new Foo();
60 |       foo0.inc();
61 |       foo0.inc();
62 |       assertTrue(foo0.isFoo());
63 |       
64 |       foo0.inc();
65 |       boolean boolean0 = foo0.isFoo();
66 |       assertFalse(boolean0);
67 |   }
68 | }
69 | 


--------------------------------------------------------------------------------
/cobertura/src/test/java/example/Foo_ESTest_scaffolding.java:
--------------------------------------------------------------------------------
 1 | /**
 2 |  * Scaffolding file used to store all the setups needed to run 
 3 |  * tests automatically generated by EvoSuite
 4 |  * Sun Feb 11 18:46:50 GMT 2018
 5 |  */
 6 | 
 7 | package example;
 8 | 
 9 | import org.evosuite.runtime.annotation.EvoSuiteClassExclude;
10 | import org.junit.BeforeClass;
11 | import org.junit.Before;
12 | import org.junit.After;
13 | import org.junit.AfterClass;
14 | import org.evosuite.runtime.sandbox.Sandbox;
15 | import org.evosuite.runtime.sandbox.Sandbox.SandboxMode;
16 | 
17 | @EvoSuiteClassExclude
18 | public class Foo_ESTest_scaffolding {
19 | 
20 |   @org.junit.Rule 
21 |   public org.evosuite.runtime.vnet.NonFunctionalRequirementRule nfr = new org.evosuite.runtime.vnet.NonFunctionalRequirementRule();
22 | 
23 |   private static final java.util.Properties defaultProperties = (java.util.Properties) java.lang.System.getProperties().clone(); 
24 | 
25 |   private org.evosuite.runtime.thread.ThreadStopper threadStopper =  new org.evosuite.runtime.thread.ThreadStopper (org.evosuite.runtime.thread.KillSwitchHandler.getInstance(), 3000);
26 | 
27 | 
28 |   @BeforeClass 
29 |   public static void initEvoSuiteFramework() { 
30 |     org.evosuite.runtime.RuntimeSettings.className = "example.Foo"; 
31 |     org.evosuite.runtime.GuiSupport.initialize(); 
32 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfThreads = 100; 
33 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfIterationsPerLoop = 10000; 
34 |     org.evosuite.runtime.RuntimeSettings.mockSystemIn = true; 
35 |     org.evosuite.runtime.RuntimeSettings.sandboxMode = org.evosuite.runtime.sandbox.Sandbox.SandboxMode.RECOMMENDED; 
36 |     org.evosuite.runtime.sandbox.Sandbox.initializeSecurityManagerForSUT(); 
37 |     org.evosuite.runtime.classhandling.JDKClassResetter.init();
38 |     setSystemProperties();
39 |     initializeClasses();
40 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
41 |   } 
42 | 
43 |   @AfterClass 
44 |   public static void clearEvoSuiteFramework(){ 
45 |     Sandbox.resetDefaultSecurityManager(); 
46 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
47 |   } 
48 | 
49 |   @Before 
50 |   public void initTestCase(){ 
51 |     threadStopper.storeCurrentThreads();
52 |     threadStopper.startRecordingTime();
53 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().initHandler(); 
54 |     org.evosuite.runtime.sandbox.Sandbox.goingToExecuteSUTCode(); 
55 |     setSystemProperties(); 
56 |     org.evosuite.runtime.GuiSupport.setHeadless(); 
57 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
58 |     org.evosuite.runtime.agent.InstrumentingAgent.activate(); 
59 |   } 
60 | 
61 |   @After 
62 |   public void doneWithTestCase(){ 
63 |     threadStopper.killAndJoinClientThreads();
64 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().safeExecuteAddedHooks(); 
65 |     org.evosuite.runtime.classhandling.JDKClassResetter.reset(); 
66 |     resetClasses(); 
67 |     org.evosuite.runtime.sandbox.Sandbox.doneWithExecutingSUTCode(); 
68 |     org.evosuite.runtime.agent.InstrumentingAgent.deactivate(); 
69 |     org.evosuite.runtime.GuiSupport.restoreHeadlessMode(); 
70 |   } 
71 | 
72 |   public static void setSystemProperties() {
73 |  
74 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
75 |     java.lang.System.setProperty("file.encoding", "UTF-8"); 
76 |     java.lang.System.setProperty("java.awt.headless", "true"); 
77 |     java.lang.System.setProperty("user.country", "AT"); 
78 |     java.lang.System.setProperty("user.language", "en"); 
79 |     java.lang.System.setProperty("user.timezone", "Europe/Berlin"); 
80 |   }
81 | 
82 |   private static void initializeClasses() {
83 |     org.evosuite.runtime.classhandling.ClassStateSupport.initializeClasses(Foo_ESTest_scaffolding.class.getClassLoader() ,
84 |       "example.Foo"
85 |     );
86 |   } 
87 | 
88 |   private static void resetClasses() {
89 |   }
90 | }
91 | 


--------------------------------------------------------------------------------
/jacoco-offline/pom.xml:
--------------------------------------------------------------------------------
 1 | <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
 2 |          xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
 3 | 
 4 |   <modelVersion>4.0.0</modelVersion>
 5 |   <groupId>org.evosuite</groupId>
 6 |   <artifactId>example-jacoco-offline</artifactId>
 7 |   <version>0.0.1-SNAPSHOT</version>
 8 | 
 9 |   <properties>
10 |     <junit.version>4.12</junit.version>
11 |   </properties>
12 | 
13 |   <dependencies>
14 |     <dependency>
15 |       <groupId>junit</groupId>
16 |       <artifactId>junit</artifactId>
17 |       <version>${junit.version}</version>
18 |       <scope>test</scope>
19 |     </dependency>
20 |     <dependency>
21 |       <groupId>org.evosuite</groupId>
22 |       <artifactId>evosuite-standalone-runtime</artifactId>
23 |       <version>1.0.6</version>
24 |       <scope>test</scope>
25 |     </dependency>
26 |     <dependency>
27 |       <groupId>org.slf4j</groupId>
28 |       <artifactId>slf4j-nop</artifactId>
29 |       <version>1.7.25</version>
30 |       <scope>test</scope>
31 |     </dependency>        
32 |     <dependency>
33 |       <groupId>org.jacoco</groupId>
34 |       <artifactId>org.jacoco.agent</artifactId>
35 |       <classifier>runtime</classifier>
36 |       <version>0.8.0</version>
37 |       <scope>test</scope>
38 |     </dependency>        
39 |   </dependencies>
40 |   
41 |   <build>
42 |     <plugins>
43 |       <plugin>
44 |         <groupId>org.jacoco</groupId>
45 |         <artifactId>jacoco-maven-plugin</artifactId>
46 |         <version>0.8.0</version>
47 |         <configuration>
48 |           <!-- Sets the path to the file which contains the execution data. -->
49 |           <dataFile>${project.build.directory}/coverage-reports/jacoco-ut.exec</dataFile>
50 |           <destFile>${project.build.directory}/coverage-reports/jacoco-ut.exec</destFile>
51 |           <!-- Sets the output directory for the code coverage report. -->
52 |           <outputDirectory>${project.reporting.outputDirectory}/jacoco-ut</outputDirectory>
53 |         </configuration>
54 |         <executions>
55 |           <execution>
56 |             <id>default-instrument</id>
57 |             <goals>
58 |               <goal>instrument</goal>
59 |             </goals>
60 |           </execution>
61 |           <execution>
62 |             <id>default-restore-instrumented-classes</id>
63 |             <goals>
64 |               <goal>restore-instrumented-classes</goal>
65 |             </goals>
66 |           </execution>
67 |           <execution>
68 |             <id>default-report</id>
69 |             <goals>
70 |               <goal>report</goal>
71 |             </goals>
72 |           </execution>
73 |         </executions>
74 |       </plugin>
75 |       <plugin>
76 |         <groupId>org.apache.maven.plugins</groupId>
77 |         <artifactId>maven-surefire-plugin</artifactId>
78 |         <version>2.15</version>
79 |         <configuration>
80 |           <systemPropertyVariables>
81 |             <jacoco-agent.destfile>${project.build.directory}/coverage-reports/jacoco-ut.exec</jacoco-agent.destfile>
82 |           </systemPropertyVariables>
83 |         </configuration>
84 |       </plugin>
85 |     </plugins>
86 |   </build>
87 | </project>
88 | 


--------------------------------------------------------------------------------
/jacoco-offline/src/main/java/example/Foo.java:
--------------------------------------------------------------------------------
 1 | package example;
 2 | 
 3 | public class Foo {
 4 | 
 5 |     private int y = 0;
 6 | 
 7 |     public boolean testMe(int x) {
 8 |         return x == 42;
 9 |     }
10 | 
11 |     public void inc() {
12 |         y++;
13 |     }
14 | 
15 |     public boolean isFoo() {
16 |         return y == 2;
17 |     }
18 | }
19 | 


--------------------------------------------------------------------------------
/jacoco-offline/src/test/java/example/Foo_ESTest.java:
--------------------------------------------------------------------------------
 1 | /*
 2 |  * This file was automatically generated by EvoSuite
 3 |  * Sun Feb 11 18:46:50 GMT 2018
 4 |  */
 5 | 
 6 | package example;
 7 | 
 8 | import org.junit.Test;
 9 | import static org.junit.Assert.*;
10 | import example.Foo;
11 | import org.evosuite.runtime.EvoRunner;
12 | import org.evosuite.runtime.EvoRunnerParameters;
13 | import org.junit.runner.RunWith;
14 | 
15 | @RunWith(EvoRunner.class) @EvoRunnerParameters(mockJVMNonDeterminism = true, useVFS = true, useVNET = true, resetStaticState = true, separateClassLoader = false, useJEE = true) 
16 | public class Foo_ESTest extends Foo_ESTest_scaffolding {
17 | 
18 |   @Test(timeout = 4000)
19 |   public void test0()  throws Throwable  {
20 |       Foo foo0 = new Foo();
21 |       boolean boolean0 = foo0.isFoo();
22 |       assertFalse(boolean0);
23 |   }
24 | 
25 |   @Test(timeout = 4000)
26 |   public void test1()  throws Throwable  {
27 |       Foo foo0 = new Foo();
28 |       boolean boolean0 = foo0.testMe(131);
29 |       assertFalse(boolean0);
30 |   }
31 | 
32 |   @Test(timeout = 4000)
33 |   public void test2()  throws Throwable  {
34 |       Foo foo0 = new Foo();
35 |       foo0.inc();
36 |       assertFalse(foo0.isFoo());
37 |       
38 |       foo0.inc();
39 |       boolean boolean0 = foo0.isFoo();
40 |       assertTrue(boolean0);
41 |   }
42 | 
43 |   @Test(timeout = 4000)
44 |   public void test3()  throws Throwable  {
45 |       Foo foo0 = new Foo();
46 |       boolean boolean0 = foo0.testMe(42);
47 |       assertTrue(boolean0);
48 |   }
49 | 
50 |   @Test(timeout = 4000)
51 |   public void test4()  throws Throwable  {
52 |       Foo foo0 = new Foo();
53 |       boolean boolean0 = foo0.testMe(0);
54 |       assertFalse(boolean0);
55 |   }
56 | 
57 |   @Test(timeout = 4000)
58 |   public void test5()  throws Throwable  {
59 |       Foo foo0 = new Foo();
60 |       foo0.inc();
61 |       foo0.inc();
62 |       assertTrue(foo0.isFoo());
63 |       
64 |       foo0.inc();
65 |       boolean boolean0 = foo0.isFoo();
66 |       assertFalse(boolean0);
67 |   }
68 | }
69 | 


--------------------------------------------------------------------------------
/jacoco-offline/src/test/java/example/Foo_ESTest_scaffolding.java:
--------------------------------------------------------------------------------
 1 | /**
 2 |  * Scaffolding file used to store all the setups needed to run 
 3 |  * tests automatically generated by EvoSuite
 4 |  * Sun Feb 11 18:46:50 GMT 2018
 5 |  */
 6 | 
 7 | package example;
 8 | 
 9 | import org.evosuite.runtime.annotation.EvoSuiteClassExclude;
10 | import org.junit.BeforeClass;
11 | import org.junit.Before;
12 | import org.junit.After;
13 | import org.junit.AfterClass;
14 | import org.evosuite.runtime.sandbox.Sandbox;
15 | import org.evosuite.runtime.sandbox.Sandbox.SandboxMode;
16 | 
17 | @EvoSuiteClassExclude
18 | public class Foo_ESTest_scaffolding {
19 | 
20 |   @org.junit.Rule 
21 |   public org.evosuite.runtime.vnet.NonFunctionalRequirementRule nfr = new org.evosuite.runtime.vnet.NonFunctionalRequirementRule();
22 | 
23 |   private static final java.util.Properties defaultProperties = (java.util.Properties) java.lang.System.getProperties().clone(); 
24 | 
25 |   private org.evosuite.runtime.thread.ThreadStopper threadStopper =  new org.evosuite.runtime.thread.ThreadStopper (org.evosuite.runtime.thread.KillSwitchHandler.getInstance(), 3000);
26 | 
27 | 
28 |   @BeforeClass 
29 |   public static void initEvoSuiteFramework() { 
30 |     org.evosuite.runtime.RuntimeSettings.className = "example.Foo"; 
31 |     org.evosuite.runtime.GuiSupport.initialize(); 
32 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfThreads = 100; 
33 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfIterationsPerLoop = 10000; 
34 |     org.evosuite.runtime.RuntimeSettings.mockSystemIn = true; 
35 |     org.evosuite.runtime.RuntimeSettings.sandboxMode = org.evosuite.runtime.sandbox.Sandbox.SandboxMode.RECOMMENDED; 
36 |     org.evosuite.runtime.sandbox.Sandbox.initializeSecurityManagerForSUT(); 
37 |     org.evosuite.runtime.classhandling.JDKClassResetter.init();
38 |     setSystemProperties();
39 |     initializeClasses();
40 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
41 |   } 
42 | 
43 |   @AfterClass 
44 |   public static void clearEvoSuiteFramework(){ 
45 |     Sandbox.resetDefaultSecurityManager(); 
46 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
47 |   } 
48 | 
49 |   @Before 
50 |   public void initTestCase(){ 
51 |     threadStopper.storeCurrentThreads();
52 |     threadStopper.startRecordingTime();
53 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().initHandler(); 
54 |     org.evosuite.runtime.sandbox.Sandbox.goingToExecuteSUTCode(); 
55 |     setSystemProperties(); 
56 |     org.evosuite.runtime.GuiSupport.setHeadless(); 
57 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
58 |     org.evosuite.runtime.agent.InstrumentingAgent.activate(); 
59 |   } 
60 | 
61 |   @After 
62 |   public void doneWithTestCase(){ 
63 |     threadStopper.killAndJoinClientThreads();
64 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().safeExecuteAddedHooks(); 
65 |     org.evosuite.runtime.classhandling.JDKClassResetter.reset(); 
66 |     resetClasses(); 
67 |     org.evosuite.runtime.sandbox.Sandbox.doneWithExecutingSUTCode(); 
68 |     org.evosuite.runtime.agent.InstrumentingAgent.deactivate(); 
69 |     org.evosuite.runtime.GuiSupport.restoreHeadlessMode(); 
70 |   } 
71 | 
72 |   public static void setSystemProperties() {
73 |  
74 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
75 |     java.lang.System.setProperty("file.encoding", "UTF-8"); 
76 |     java.lang.System.setProperty("java.awt.headless", "true"); 
77 |     java.lang.System.setProperty("user.country", "AT"); 
78 |     java.lang.System.setProperty("user.language", "en"); 
79 |     java.lang.System.setProperty("user.timezone", "Europe/Berlin"); 
80 |   }
81 | 
82 |   private static void initializeClasses() {
83 |     org.evosuite.runtime.classhandling.ClassStateSupport.initializeClasses(Foo_ESTest_scaffolding.class.getClassLoader() ,
84 |       "example.Foo"
85 |     );
86 |   } 
87 | 
88 |   private static void resetClasses() {
89 |   }
90 | }
91 | 


--------------------------------------------------------------------------------
/jacoco/pom.xml:
--------------------------------------------------------------------------------
 1 | <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
 2 |          xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
 3 | 
 4 |   <modelVersion>4.0.0</modelVersion>
 5 |   <groupId>org.evosuite</groupId>
 6 |   <artifactId>example-jacoco</artifactId>
 7 |   <version>0.0.1-SNAPSHOT</version>
 8 | 
 9 |   <properties>
10 |     <junit.version>4.12</junit.version>
11 |   </properties>
12 | 
13 |   <dependencies>
14 |     <dependency>
15 |       <groupId>junit</groupId>
16 |       <artifactId>junit</artifactId>
17 |       <version>${junit.version}</version>
18 |       <scope>test</scope>
19 |     </dependency>
20 |     <dependency>
21 |       <groupId>org.evosuite</groupId>
22 |       <artifactId>evosuite-standalone-runtime</artifactId>
23 |       <version>1.0.6</version>
24 |       <scope>test</scope>
25 |     </dependency>
26 |     <dependency>
27 |       <groupId>org.slf4j</groupId>
28 |       <artifactId>slf4j-nop</artifactId>
29 |       <version>1.7.25</version>
30 |       <scope>test</scope>
31 |     </dependency>        
32 |   </dependencies>
33 |   
34 |   <build>
35 |     <plugins>
36 |       <plugin>
37 |         <groupId>org.jacoco</groupId>
38 |         <artifactId>jacoco-maven-plugin</artifactId>
39 |         <version>0.8.0</version>
40 |         <executions>
41 |           <!--
42 |               Prepares the property pointing to the JaCoCo runtime agent which
43 |               is passed as VM argument when Maven the Surefire plugin is executed.
44 |             -->
45 |           <execution>
46 |             <id>pre-unit-test</id>
47 |             <goals>
48 |               <goal>prepare-agent</goal>
49 |             </goals>
50 |             <configuration>
51 |               <!-- Sets the path to the file which contains the execution data. -->
52 |               <destFile>${project.build.directory}/coverage-reports/jacoco-ut.exec</destFile>
53 |               <!--
54 |                   Sets the name of the property containing the settings
55 |                   for JaCoCo runtime agent.
56 |                 -->
57 |               <propertyName>surefireArgLine</propertyName>
58 |             </configuration>
59 |           </execution>
60 |           <!--
61 |               Ensures that the code coverage report for unit tests is created after
62 |               unit tests have been run.
63 |             -->
64 |           <execution>
65 |             <id>post-unit-test</id>
66 |             <phase>test</phase>
67 |             <goals>
68 |               <goal>report</goal>
69 |             </goals>
70 |             <configuration>
71 |               <!-- Sets the path to the file which contains the execution data. -->
72 |               <dataFile>${project.build.directory}/coverage-reports/jacoco-ut.exec</dataFile>
73 |               <!-- Sets the output directory for the code coverage report. -->
74 |               <outputDirectory>${project.reporting.outputDirectory}/jacoco-ut</outputDirectory>
75 |             </configuration>
76 |           </execution>
77 |           <!--
78 |               Prepares the property pointing to the JaCoCo runtime agent which
79 |               is passed as VM argument when Maven the Failsafe plugin is executed.
80 |             -->
81 |         </executions>
82 |       </plugin>
83 |       <plugin>
84 |         <groupId>org.apache.maven.plugins</groupId>
85 |         <artifactId>maven-surefire-plugin</artifactId>
86 |         <version>2.15</version>
87 |         <configuration>
88 |           <!-- Sets the VM argument line used when unit tests are run. -->
89 |           <argLine>${surefireArgLine}</argLine>
90 |         </configuration>
91 |       </plugin>
92 | 
93 |     </plugins>
94 |   </build>
95 | </project>
96 | 


--------------------------------------------------------------------------------
/jacoco/src/main/java/example/Foo.java:
--------------------------------------------------------------------------------
 1 | package example;
 2 | 
 3 | public class Foo {
 4 | 
 5 |     private int y = 0;
 6 | 
 7 |     public boolean testMe(int x) {
 8 |         return x == 42;
 9 |     }
10 | 
11 |     public void inc() {
12 |         y++;
13 |     }
14 | 
15 |     public boolean isFoo() {
16 |         return y == 2;
17 |     }
18 | }
19 | 


--------------------------------------------------------------------------------
/jacoco/src/test/java/example/Foo_ESTest.java:
--------------------------------------------------------------------------------
 1 | /*
 2 |  * This file was automatically generated by EvoSuite
 3 |  * Sun Feb 11 18:46:50 GMT 2018
 4 |  */
 5 | 
 6 | package example;
 7 | 
 8 | import org.junit.Test;
 9 | import static org.junit.Assert.*;
10 | import example.Foo;
11 | import org.evosuite.runtime.EvoRunner;
12 | import org.evosuite.runtime.EvoRunnerParameters;
13 | import org.junit.runner.RunWith;
14 | 
15 | @RunWith(EvoRunner.class) @EvoRunnerParameters(mockJVMNonDeterminism = true, useVFS = true, useVNET = true, resetStaticState = true, separateClassLoader = false, useJEE = true) 
16 | public class Foo_ESTest extends Foo_ESTest_scaffolding {
17 | 
18 |   @Test(timeout = 4000)
19 |   public void test0()  throws Throwable  {
20 |       Foo foo0 = new Foo();
21 |       boolean boolean0 = foo0.isFoo();
22 |       assertFalse(boolean0);
23 |   }
24 | 
25 |   @Test(timeout = 4000)
26 |   public void test1()  throws Throwable  {
27 |       Foo foo0 = new Foo();
28 |       boolean boolean0 = foo0.testMe(131);
29 |       assertFalse(boolean0);
30 |   }
31 | 
32 |   @Test(timeout = 4000)
33 |   public void test2()  throws Throwable  {
34 |       Foo foo0 = new Foo();
35 |       foo0.inc();
36 |       assertFalse(foo0.isFoo());
37 |       
38 |       foo0.inc();
39 |       boolean boolean0 = foo0.isFoo();
40 |       assertTrue(boolean0);
41 |   }
42 | 
43 |   @Test(timeout = 4000)
44 |   public void test3()  throws Throwable  {
45 |       Foo foo0 = new Foo();
46 |       boolean boolean0 = foo0.testMe(42);
47 |       assertTrue(boolean0);
48 |   }
49 | 
50 |   @Test(timeout = 4000)
51 |   public void test4()  throws Throwable  {
52 |       Foo foo0 = new Foo();
53 |       boolean boolean0 = foo0.testMe(0);
54 |       assertFalse(boolean0);
55 |   }
56 | 
57 |   @Test(timeout = 4000)
58 |   public void test5()  throws Throwable  {
59 |       Foo foo0 = new Foo();
60 |       foo0.inc();
61 |       foo0.inc();
62 |       assertTrue(foo0.isFoo());
63 |       
64 |       foo0.inc();
65 |       boolean boolean0 = foo0.isFoo();
66 |       assertFalse(boolean0);
67 |   }
68 | }
69 | 


--------------------------------------------------------------------------------
/jacoco/src/test/java/example/Foo_ESTest_scaffolding.java:
--------------------------------------------------------------------------------
 1 | /**
 2 |  * Scaffolding file used to store all the setups needed to run 
 3 |  * tests automatically generated by EvoSuite
 4 |  * Sun Feb 11 18:46:50 GMT 2018
 5 |  */
 6 | 
 7 | package example;
 8 | 
 9 | import org.evosuite.runtime.annotation.EvoSuiteClassExclude;
10 | import org.junit.BeforeClass;
11 | import org.junit.Before;
12 | import org.junit.After;
13 | import org.junit.AfterClass;
14 | import org.evosuite.runtime.sandbox.Sandbox;
15 | import org.evosuite.runtime.sandbox.Sandbox.SandboxMode;
16 | 
17 | @EvoSuiteClassExclude
18 | public class Foo_ESTest_scaffolding {
19 | 
20 |   @org.junit.Rule 
21 |   public org.evosuite.runtime.vnet.NonFunctionalRequirementRule nfr = new org.evosuite.runtime.vnet.NonFunctionalRequirementRule();
22 | 
23 |   private static final java.util.Properties defaultProperties = (java.util.Properties) java.lang.System.getProperties().clone(); 
24 | 
25 |   private org.evosuite.runtime.thread.ThreadStopper threadStopper =  new org.evosuite.runtime.thread.ThreadStopper (org.evosuite.runtime.thread.KillSwitchHandler.getInstance(), 3000);
26 | 
27 | 
28 |   @BeforeClass 
29 |   public static void initEvoSuiteFramework() { 
30 |     org.evosuite.runtime.RuntimeSettings.className = "example.Foo"; 
31 |     org.evosuite.runtime.GuiSupport.initialize(); 
32 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfThreads = 100; 
33 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfIterationsPerLoop = 10000; 
34 |     org.evosuite.runtime.RuntimeSettings.mockSystemIn = true; 
35 |     org.evosuite.runtime.RuntimeSettings.sandboxMode = org.evosuite.runtime.sandbox.Sandbox.SandboxMode.RECOMMENDED; 
36 |     org.evosuite.runtime.sandbox.Sandbox.initializeSecurityManagerForSUT(); 
37 |     org.evosuite.runtime.classhandling.JDKClassResetter.init();
38 |     setSystemProperties();
39 |     initializeClasses();
40 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
41 |   } 
42 | 
43 |   @AfterClass 
44 |   public static void clearEvoSuiteFramework(){ 
45 |     Sandbox.resetDefaultSecurityManager(); 
46 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
47 |   } 
48 | 
49 |   @Before 
50 |   public void initTestCase(){ 
51 |     threadStopper.storeCurrentThreads();
52 |     threadStopper.startRecordingTime();
53 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().initHandler(); 
54 |     org.evosuite.runtime.sandbox.Sandbox.goingToExecuteSUTCode(); 
55 |     setSystemProperties(); 
56 |     org.evosuite.runtime.GuiSupport.setHeadless(); 
57 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
58 |     org.evosuite.runtime.agent.InstrumentingAgent.activate(); 
59 |   } 
60 | 
61 |   @After 
62 |   public void doneWithTestCase(){ 
63 |     threadStopper.killAndJoinClientThreads();
64 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().safeExecuteAddedHooks(); 
65 |     org.evosuite.runtime.classhandling.JDKClassResetter.reset(); 
66 |     resetClasses(); 
67 |     org.evosuite.runtime.sandbox.Sandbox.doneWithExecutingSUTCode(); 
68 |     org.evosuite.runtime.agent.InstrumentingAgent.deactivate(); 
69 |     org.evosuite.runtime.GuiSupport.restoreHeadlessMode(); 
70 |   } 
71 | 
72 |   public static void setSystemProperties() {
73 |  
74 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
75 |     java.lang.System.setProperty("file.encoding", "UTF-8"); 
76 |     java.lang.System.setProperty("java.awt.headless", "true"); 
77 |     java.lang.System.setProperty("user.country", "AT"); 
78 |     java.lang.System.setProperty("user.language", "en"); 
79 |     java.lang.System.setProperty("user.timezone", "Europe/Berlin"); 
80 |   }
81 | 
82 |   private static void initializeClasses() {
83 |     org.evosuite.runtime.classhandling.ClassStateSupport.initializeClasses(Foo_ESTest_scaffolding.class.getClassLoader() ,
84 |       "example.Foo"
85 |     );
86 |   } 
87 | 
88 |   private static void resetClasses() {
89 |   }
90 | }
91 | 


--------------------------------------------------------------------------------
/openclover/pom.xml:
--------------------------------------------------------------------------------
 1 | <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
 2 |          xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
 3 | 
 4 |   <modelVersion>4.0.0</modelVersion>
 5 |   <groupId>org.evosuite</groupId>
 6 |   <artifactId>example-openclover</artifactId>
 7 |   <version>0.0.1-SNAPSHOT</version>
 8 | 
 9 |   <properties>
10 |     <junit.version>4.12</junit.version>
11 |   </properties>
12 | 
13 |   <dependencies>
14 |     <dependency>
15 |       <groupId>junit</groupId>
16 |       <artifactId>junit</artifactId>
17 |       <version>${junit.version}</version>
18 |       <scope>test</scope>
19 |     </dependency>
20 |     <dependency>
21 |       <groupId>org.evosuite</groupId>
22 |       <artifactId>evosuite-standalone-runtime</artifactId>
23 |       <version>1.0.6-SNAPSHOT</version>
24 |       <scope>test</scope>
25 |     </dependency>
26 |     <dependency>
27 |       <groupId>org.slf4j</groupId>
28 |       <artifactId>slf4j-nop</artifactId>
29 |       <version>1.7.25</version>
30 |       <scope>test</scope>
31 |     </dependency>
32 |   </dependencies>
33 |   
34 |   <build>
35 |     <plugins>
36 |       <plugin>
37 |         <groupId>org.openclover</groupId>
38 |         <artifactId>clover-maven-plugin</artifactId>
39 |         <version>4.2.1</version>
40 |         <configuration>
41 |           <excludes>
42 |             <exclude>**/*_ESTest.java</exclude>
43 |             <exclude>**/*_ESTest_scaffolding.java</exclude>
44 |           </excludes>
45 |         </configuration>
46 |       </plugin>
47 |     </plugins>
48 |   </build>
49 | </project>
50 | 


--------------------------------------------------------------------------------
/openclover/src/main/java/example/Foo.java:
--------------------------------------------------------------------------------
 1 | package example;
 2 | 
 3 | public class Foo {
 4 | 
 5 |     private int y = 0;
 6 | 
 7 |     public boolean testMe(int x) {
 8 |         return x == 42;
 9 |     }
10 | 
11 |     public void inc() {
12 |         y++;
13 |     }
14 | 
15 |     public boolean isFoo() {
16 |         return y == 2;
17 |     }
18 | }
19 | 


--------------------------------------------------------------------------------
/openclover/src/test/java/example/Foo_ESTest.java:
--------------------------------------------------------------------------------
 1 | /*
 2 |  * This file was automatically generated by EvoSuite
 3 |  * Sun Feb 11 18:46:50 GMT 2018
 4 |  */
 5 | 
 6 | package example;
 7 | 
 8 | import org.junit.Test;
 9 | import static org.junit.Assert.*;
10 | import example.Foo;
11 | import org.evosuite.runtime.EvoRunner;
12 | import org.evosuite.runtime.EvoRunnerParameters;
13 | import org.junit.runner.RunWith;
14 | 
15 | @RunWith(EvoRunner.class) @EvoRunnerParameters(mockJVMNonDeterminism = true, useVFS = false, useVNET = true, resetStaticState = false, separateClassLoader = true, useJEE = true) 
16 | public class Foo_ESTest extends Foo_ESTest_scaffolding {
17 | 
18 |   @Test(timeout = 4000)
19 |   public void test0()  throws Throwable  {
20 |       Foo foo0 = new Foo();
21 |       boolean boolean0 = foo0.isFoo();
22 |       assertFalse(boolean0);
23 |   }
24 | 
25 |   @Test(timeout = 4000)
26 |   public void test1()  throws Throwable  {
27 |       Foo foo0 = new Foo();
28 |       boolean boolean0 = foo0.testMe(131);
29 |       assertFalse(boolean0);
30 |   }
31 | 
32 |   @Test(timeout = 4000)
33 |   public void test2()  throws Throwable  {
34 |       Foo foo0 = new Foo();
35 |       foo0.inc();
36 |       assertFalse(foo0.isFoo());
37 |       
38 |       foo0.inc();
39 |       boolean boolean0 = foo0.isFoo();
40 |       assertTrue(boolean0);
41 |   }
42 | 
43 |   @Test(timeout = 4000)
44 |   public void test3()  throws Throwable  {
45 |       Foo foo0 = new Foo();
46 |       boolean boolean0 = foo0.testMe(42);
47 |       assertTrue(boolean0);
48 |   }
49 | 
50 |   @Test(timeout = 4000)
51 |   public void test4()  throws Throwable  {
52 |       Foo foo0 = new Foo();
53 |       boolean boolean0 = foo0.testMe(0);
54 |       assertFalse(boolean0);
55 |   }
56 | 
57 |   @Test(timeout = 4000)
58 |   public void test5()  throws Throwable  {
59 |       Foo foo0 = new Foo();
60 |       foo0.inc();
61 |       foo0.inc();
62 |       assertTrue(foo0.isFoo());
63 |       
64 |       foo0.inc();
65 |       boolean boolean0 = foo0.isFoo();
66 |       assertFalse(boolean0);
67 |   }
68 | }
69 | 


--------------------------------------------------------------------------------
/openclover/src/test/java/example/Foo_ESTest_scaffolding.java:
--------------------------------------------------------------------------------
 1 | /**
 2 |  * Scaffolding file used to store all the setups needed to run 
 3 |  * tests automatically generated by EvoSuite
 4 |  * Sun Feb 11 18:46:50 GMT 2018
 5 |  */
 6 | 
 7 | package example;
 8 | 
 9 | import org.evosuite.runtime.annotation.EvoSuiteClassExclude;
10 | import org.junit.BeforeClass;
11 | import org.junit.Before;
12 | import org.junit.After;
13 | import org.junit.AfterClass;
14 | import org.evosuite.runtime.sandbox.Sandbox;
15 | import org.evosuite.runtime.sandbox.Sandbox.SandboxMode;
16 | 
17 | @EvoSuiteClassExclude
18 | public class Foo_ESTest_scaffolding {
19 | 
20 |   @org.junit.Rule 
21 |   public org.evosuite.runtime.vnet.NonFunctionalRequirementRule nfr = new org.evosuite.runtime.vnet.NonFunctionalRequirementRule();
22 | 
23 |   private static final java.util.Properties defaultProperties = (java.util.Properties) java.lang.System.getProperties().clone(); 
24 | 
25 |   private org.evosuite.runtime.thread.ThreadStopper threadStopper =  new org.evosuite.runtime.thread.ThreadStopper (org.evosuite.runtime.thread.KillSwitchHandler.getInstance(), 3000);
26 | 
27 | 
28 |   @BeforeClass 
29 |   public static void initEvoSuiteFramework() { 
30 |     org.evosuite.runtime.RuntimeSettings.className = "example.Foo"; 
31 |     org.evosuite.runtime.GuiSupport.initialize(); 
32 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfThreads = 100; 
33 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfIterationsPerLoop = 10000; 
34 |     org.evosuite.runtime.RuntimeSettings.mockSystemIn = true; 
35 |     org.evosuite.runtime.RuntimeSettings.sandboxMode = org.evosuite.runtime.sandbox.Sandbox.SandboxMode.OFF; //RECOMMENDED;
36 |     org.evosuite.runtime.sandbox.Sandbox.initializeSecurityManagerForSUT(); 
37 |     org.evosuite.runtime.classhandling.JDKClassResetter.init();
38 |     setSystemProperties();
39 |     initializeClasses();
40 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
41 |   } 
42 | 
43 |   @AfterClass 
44 |   public static void clearEvoSuiteFramework(){ 
45 |     Sandbox.resetDefaultSecurityManager(); 
46 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
47 |   } 
48 | 
49 |   @Before 
50 |   public void initTestCase(){ 
51 |     threadStopper.storeCurrentThreads();
52 |     threadStopper.startRecordingTime();
53 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().initHandler(); 
54 |     org.evosuite.runtime.sandbox.Sandbox.goingToExecuteSUTCode(); 
55 |     setSystemProperties(); 
56 |     org.evosuite.runtime.GuiSupport.setHeadless(); 
57 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
58 |     org.evosuite.runtime.agent.InstrumentingAgent.activate(); 
59 |   } 
60 | 
61 |   @After 
62 |   public void doneWithTestCase(){ 
63 |     threadStopper.killAndJoinClientThreads();
64 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().safeExecuteAddedHooks(); 
65 |     org.evosuite.runtime.classhandling.JDKClassResetter.reset(); 
66 |     resetClasses(); 
67 |     org.evosuite.runtime.sandbox.Sandbox.doneWithExecutingSUTCode(); 
68 |     org.evosuite.runtime.agent.InstrumentingAgent.deactivate(); 
69 |     org.evosuite.runtime.GuiSupport.restoreHeadlessMode(); 
70 |   } 
71 | 
72 |   public static void setSystemProperties() {
73 |  
74 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
75 |     java.lang.System.setProperty("file.encoding", "UTF-8"); 
76 |     java.lang.System.setProperty("java.awt.headless", "true"); 
77 |     java.lang.System.setProperty("user.country", "AT"); 
78 |     java.lang.System.setProperty("user.language", "en"); 
79 |     java.lang.System.setProperty("user.timezone", "Europe/Berlin"); 
80 |   }
81 | 
82 |   private static void initializeClasses() {
83 |     org.evosuite.runtime.classhandling.ClassStateSupport.initializeClasses(Foo_ESTest_scaffolding.class.getClassLoader() ,
84 |       "example.Foo"
85 |     );
86 |   } 
87 | 
88 |   private static void resetClasses() {
89 |   }
90 | }
91 | 


--------------------------------------------------------------------------------
/pit/pom.xml:
--------------------------------------------------------------------------------
 1 | <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
 2 |          xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
 3 | 
 4 |   <modelVersion>4.0.0</modelVersion>
 5 |   <groupId>org.evosuite</groupId>
 6 |   <artifactId>example-pit</artifactId>
 7 |   <version>0.0.1-SNAPSHOT</version>
 8 | 
 9 |   <properties>
10 |     <junit.version>4.12</junit.version>
11 |   </properties>
12 | 
13 |   <dependencies>
14 |     <dependency>
15 |       <groupId>junit</groupId>
16 |       <artifactId>junit</artifactId>
17 |       <version>${junit.version}</version>
18 |       <scope>test</scope>
19 |     </dependency>
20 |     <dependency>
21 |       <groupId>org.evosuite</groupId>
22 |       <artifactId>evosuite-standalone-runtime</artifactId>
23 |       <version>1.0.6</version>
24 |       <scope>test</scope>
25 |     </dependency>
26 |     <dependency>
27 |       <groupId>org.pitest</groupId>
28 |       <artifactId>pitest-parent</artifactId>
29 |       <version>1.3.2</version>
30 |       <type>pom</type>
31 |     </dependency>
32 |     <dependency>
33 |       <groupId>org.slf4j</groupId>
34 |       <artifactId>slf4j-nop</artifactId>
35 |       <version>1.7.25</version>
36 |       <scope>test</scope>
37 |     </dependency>    
38 |   </dependencies>
39 | </project>
40 | 


--------------------------------------------------------------------------------
/pit/src/main/java/example/Foo.java:
--------------------------------------------------------------------------------
 1 | package example;
 2 | 
 3 | public class Foo {
 4 | 
 5 |     private int y = 0;
 6 | 
 7 |     public boolean testMe(int x) {
 8 |         return x == 42;
 9 |     }
10 | 
11 |     public void inc() {
12 |         y++;
13 |     }
14 | 
15 |     public boolean isFoo() {
16 |         return y == 2;
17 |     }
18 | }
19 | 


--------------------------------------------------------------------------------
/pit/src/test/java/example/Foo_ESTest.java:
--------------------------------------------------------------------------------
 1 | /*
 2 |  * This file was automatically generated by EvoSuite
 3 |  * Sun Feb 11 18:46:50 GMT 2018
 4 |  */
 5 | 
 6 | package example;
 7 | 
 8 | import org.junit.Test;
 9 | import static org.junit.Assert.*;
10 | import example.Foo;
11 | import org.evosuite.runtime.EvoRunner;
12 | import org.evosuite.runtime.EvoRunnerParameters;
13 | import org.junit.runner.RunWith;
14 | 
15 | @RunWith(EvoRunner.class) @EvoRunnerParameters(mockJVMNonDeterminism = true, useVFS = true, useVNET = true, resetStaticState = true, separateClassLoader = false, useJEE = true) 
16 | public class Foo_ESTest extends Foo_ESTest_scaffolding {
17 | 
18 |   @Test(timeout = 4000)
19 |   public void test0()  throws Throwable  {
20 |       Foo foo0 = new Foo();
21 |       boolean boolean0 = foo0.isFoo();
22 |       assertFalse(boolean0);
23 |   }
24 | 
25 |   @Test(timeout = 4000)
26 |   public void test1()  throws Throwable  {
27 |       Foo foo0 = new Foo();
28 |       boolean boolean0 = foo0.testMe(131);
29 |       assertFalse(boolean0);
30 |   }
31 | 
32 |   @Test(timeout = 4000)
33 |   public void test2()  throws Throwable  {
34 |       Foo foo0 = new Foo();
35 |       foo0.inc();
36 |       assertFalse(foo0.isFoo());
37 |       
38 |       foo0.inc();
39 |       boolean boolean0 = foo0.isFoo();
40 |       assertTrue(boolean0);
41 |   }
42 | 
43 |   @Test(timeout = 4000)
44 |   public void test3()  throws Throwable  {
45 |       Foo foo0 = new Foo();
46 |       boolean boolean0 = foo0.testMe(42);
47 |       assertTrue(boolean0);
48 |   }
49 | 
50 |   @Test(timeout = 4000)
51 |   public void test4()  throws Throwable  {
52 |       Foo foo0 = new Foo();
53 |       boolean boolean0 = foo0.testMe(0);
54 |       assertFalse(boolean0);
55 |   }
56 | 
57 |   @Test(timeout = 4000)
58 |   public void test5()  throws Throwable  {
59 |       Foo foo0 = new Foo();
60 |       foo0.inc();
61 |       foo0.inc();
62 |       assertTrue(foo0.isFoo());
63 |       
64 |       foo0.inc();
65 |       boolean boolean0 = foo0.isFoo();
66 |       assertFalse(boolean0);
67 |   }
68 | }
69 | 


--------------------------------------------------------------------------------
/pit/src/test/java/example/Foo_ESTest_scaffolding.java:
--------------------------------------------------------------------------------
 1 | /**
 2 |  * Scaffolding file used to store all the setups needed to run 
 3 |  * tests automatically generated by EvoSuite
 4 |  * Sun Feb 11 18:46:50 GMT 2018
 5 |  */
 6 | 
 7 | package example;
 8 | 
 9 | import org.evosuite.runtime.annotation.EvoSuiteClassExclude;
10 | import org.junit.BeforeClass;
11 | import org.junit.Before;
12 | import org.junit.After;
13 | import org.junit.AfterClass;
14 | import org.evosuite.runtime.sandbox.Sandbox;
15 | import org.evosuite.runtime.sandbox.Sandbox.SandboxMode;
16 | 
17 | @EvoSuiteClassExclude
18 | public class Foo_ESTest_scaffolding {
19 | 
20 |   @org.junit.Rule 
21 |   public org.evosuite.runtime.vnet.NonFunctionalRequirementRule nfr = new org.evosuite.runtime.vnet.NonFunctionalRequirementRule();
22 | 
23 |   private static final java.util.Properties defaultProperties = (java.util.Properties) java.lang.System.getProperties().clone(); 
24 | 
25 |   private org.evosuite.runtime.thread.ThreadStopper threadStopper =  new org.evosuite.runtime.thread.ThreadStopper (org.evosuite.runtime.thread.KillSwitchHandler.getInstance(), 3000);
26 | 
27 | 
28 |   @BeforeClass 
29 |   public static void initEvoSuiteFramework() { 
30 |     org.evosuite.runtime.RuntimeSettings.className = "example.Foo"; 
31 |     org.evosuite.runtime.GuiSupport.initialize(); 
32 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfThreads = 100; 
33 |     org.evosuite.runtime.RuntimeSettings.maxNumberOfIterationsPerLoop = 10000; 
34 |     org.evosuite.runtime.RuntimeSettings.mockSystemIn = true; 
35 |     org.evosuite.runtime.RuntimeSettings.sandboxMode = org.evosuite.runtime.sandbox.Sandbox.SandboxMode.RECOMMENDED; 
36 |     org.evosuite.runtime.sandbox.Sandbox.initializeSecurityManagerForSUT(); 
37 |     org.evosuite.runtime.classhandling.JDKClassResetter.init();
38 |     setSystemProperties();
39 |     initializeClasses();
40 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
41 |   } 
42 | 
43 |   @AfterClass 
44 |   public static void clearEvoSuiteFramework(){ 
45 |     Sandbox.resetDefaultSecurityManager(); 
46 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
47 |   } 
48 | 
49 |   @Before 
50 |   public void initTestCase(){ 
51 |     threadStopper.storeCurrentThreads();
52 |     threadStopper.startRecordingTime();
53 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().initHandler(); 
54 |     org.evosuite.runtime.sandbox.Sandbox.goingToExecuteSUTCode(); 
55 |     setSystemProperties(); 
56 |     org.evosuite.runtime.GuiSupport.setHeadless(); 
57 |     org.evosuite.runtime.Runtime.getInstance().resetRuntime(); 
58 |     org.evosuite.runtime.agent.InstrumentingAgent.activate(); 
59 |   } 
60 | 
61 |   @After 
62 |   public void doneWithTestCase(){ 
63 |     threadStopper.killAndJoinClientThreads();
64 |     org.evosuite.runtime.jvm.ShutdownHookHandler.getInstance().safeExecuteAddedHooks(); 
65 |     org.evosuite.runtime.classhandling.JDKClassResetter.reset(); 
66 |     resetClasses(); 
67 |     org.evosuite.runtime.sandbox.Sandbox.doneWithExecutingSUTCode(); 
68 |     org.evosuite.runtime.agent.InstrumentingAgent.deactivate(); 
69 |     org.evosuite.runtime.GuiSupport.restoreHeadlessMode(); 
70 |   } 
71 | 
72 |   public static void setSystemProperties() {
73 |  
74 |     java.lang.System.setProperties((java.util.Properties) defaultProperties.clone()); 
75 |     java.lang.System.setProperty("file.encoding", "UTF-8"); 
76 |     java.lang.System.setProperty("java.awt.headless", "true"); 
77 |     java.lang.System.setProperty("user.country", "AT"); 
78 |     java.lang.System.setProperty("user.language", "en"); 
79 |     java.lang.System.setProperty("user.timezone", "Europe/Berlin"); 
80 |   }
81 | 
82 |   private static void initializeClasses() {
83 |     org.evosuite.runtime.classhandling.ClassStateSupport.initializeClasses(Foo_ESTest_scaffolding.class.getClassLoader() ,
84 |       "example.Foo"
85 |     );
86 |   } 
87 | 
88 |   private static void resetClasses() {
89 |   }
90 | }
91 | 


--------------------------------------------------------------------------------