Deleting file or directory ./temp/testcases/SBSTDummyForCoverageAndMutationCalculation.java Deleting file or directory ./temp/testcases/Sequenic/T2/ReplayTestXPool.java Deleting file or directory ./temp/testcases/Sequenic/T2 Deleting file or directory ./temp/testcases/Sequenic Deleting file or directory ./temp/testcases/bin/Sequenic/T2/ReplayTestXPool.class Deleting file or directory ./temp/testcases/bin/Sequenic/T2 Deleting file or directory ./temp/testcases/bin/Sequenic Deleting file or directory ./temp/testcases/bin/SBSTDummyForCoverageAndMutationCalculation.class Deleting file or directory ./temp/testcases/bin Deleting file or directory ./temp/testcases/pitestout/mutations.csv Deleting file or directory ./temp/testcases/pitestout Deleting file or directory ./temp/testcases/instrumented/jacoco.exec Deleting file or directory ./temp/testcases/instrumented Deleting file or directory ./temp/testcases Deleting file or directory ./temp/data/ADT_Sequenic.T2.XPool__1412677562385.tr Deleting file or directory ./temp/data/ADT_Sequenic.T2.XPool__1412677561046.tr Deleting file or directory ./temp/data Deleting file or directory ./temp Creating directory ./temp Creating directory ./temp/data Creating directory ./temp/testcases *Executing /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./runtool >> BENCHMARK >> /home/ubuntu/workshop/T2benchmark/src >> /home/ubuntu/workshop/T2benchmark/build/CUTclasses >> 1 >> /home/ubuntu/workshop/T2benchmark/build/CUTclasses >> 1 expecting CLASSPATH or READY Scalar value @nameElements[$#nameElements] better written as $nameElements[$#nameElements] at /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./runtool line 97. << CLASSPATH expecting number << 4 expecting directory or jar file << /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar expecting directory or jar file << /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar expecting directory or jar file << /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin expecting directory or jar file << /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin << READY Deleting file or directory ./temp/testcases Creating directory ./temp/testcases ### CLASS UNDER TEST ###: Sequenic.T2.XPool >> Sequenic.T2.XPool expecting: READY JUnit version 4.8.2 .Oct 07, 2014 10:26:32 AM Sequenic.T3.Reflection.ClassesScanner scan INFO: ** Scanning classes in /home/ubuntu/workshop/T2benchmark/build/CUTclasses Oct 07, 2014 10:26:32 AM Sequenic.T3.Reflection.ClassesScanner scan INFO: ** 17 classes scanned. ----- Configuration: ** General parameters: #cores : 2 ** Generator related parameters: Dirs to class-files to be scanned : /home/ubuntu/workshop/T2benchmark/build/CUTclasses CUT : class Sequenic.T2.XPool Testing CUT from the same package's perspective Max. number of step-retries : 30 Max. number of sequence-retries : 5 ** T3-default-generator's specific parameters: Regression-mode : true Injecting oracles : true Max. collection size : 3 Max. level of object nesting : 4 Max. prefix length : 6 Max. suffix length : 2 Variable length prefix : true Field-update probablity as a step : 0.0 Suite size multiplier for each goal : 50.0 Keeping only exception-throwing sequences : false Dropping duplicates : false Suite is to be split in : 1 subsuites ** Replay related parameters: Replaying all sequences: false Regression-mode : true Show exception-throwning execution: true Max. length of shown suffix: 10 Max. depth of objects shown: 3 ----- ** Scanned : 26 directly instantiable classes, 5 not directly instantiable classes. Oct 07, 2014 10:26:32 AM Sequenic.T3.T3SuiteGenAPI INFO: Using T3's default value generator. ----- Oct 07, 2014 10:26:32 AM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG calculateGoals INFO: Constructing ADT goals of class Sequenic.T2.XPool: 1 CM, 4 Mut[Mut], 3 NonMut. Oct 07, 2014 10:26:33 AM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG generateSuite INFO: Suite for Sequenic.T2.XPool is generated, size=750 ** Performed ADT testing Testing scope:CUT = Sequenic.T2.XPool Including non-private members Constructors: 1 Sequenic.T2.XPool public Creator methods: 0 Mutators: 2 put public reset public Non-mutators: 3 getIndex public get_objectCount public get public Fields: 0 Oct 07, 2014 10:26:33 AM Sequenic.T3.T3SuiteGenAPI suite INFO: ** Injecting oracles Oct 07, 2014 10:26:34 AM Sequenic.T3.Sequence.Datatype.SUITE injectOracles INFO: ** Injected oracles on 750 sequences of a suite of Sequenic.T2.XPool ... ----- ** Suite generated. ** Suite name : ADT_Sequenic.T2.XPool ** CUT : Sequenic.T2.XPool ** Suite size : 750 ** Avrg. seq. length : 6.032 Oct 07, 2014 10:26:34 AM Sequenic.T3.Sequence.Datatype.SUITE save INFO: ** Saving a test-suite to /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr, 517 KB ** Runtime = 1593 ** Suite name : ADT_Sequenic.T2.XPool ** CUT : Sequenic.T2.XPool ** Suite size : 750 ** Avrg. seq. length : 6.032 ** Executed : 750 ** Violating : 0 ** Invalid : 0 ** Failing : 0 ** Runtime : 144 ms ** Field-pairs' abstract values coverage : 3/12 (25.0%) ** Constructor coverage : 1/1 (100.0%) ** Creator-method coverage : 0/0 (100%) ** Method coverage : 5/5 (100.0%) ** Field coverage : 0/0 (100%) ** Method-pair coverage : 30/30 (100.0%) ** Member-pair coverage : 30/30 (100.0%) ** Uncovered constructors: - ** Uncovered creator methods: - ** Uncovered methods: - ** Uncovered fields: - Oct 07, 2014 10:26:34 AM Sequenic.T3.T3Cmd runT3 INFO: >> T3 runtime = 1886ms .Oct 07, 2014 10:26:34 AM Sequenic.T3.Reflection.ClassesScanner scan INFO: ** Scanning classes in /home/ubuntu/workshop/T2benchmark/build/CUTclasses Oct 07, 2014 10:26:34 AM Sequenic.T3.Reflection.ClassesScanner scan INFO: ** 17 classes scanned. ----- Configuration: ** General parameters: #cores : 2 ** Generator related parameters: Dirs to class-files to be scanned : /home/ubuntu/workshop/T2benchmark/build/CUTclasses CUT : class Sequenic.T2.XPool Testing CUT from the same package's perspective Max. number of step-retries : 30 Max. number of sequence-retries : 5 ** T3-default-generator's specific parameters: Regression-mode : true Injecting oracles : true Max. collection size : 3 Max. level of object nesting : 4 Max. prefix length : 6 Max. suffix length : 2 Variable length prefix : true Field-update probablity as a step : 0.0 Suite size multiplier for each goal : 50.0 Keeping only exception-throwing sequences : false Dropping duplicates : false Suite is to be split in : 1 subsuites ** Replay related parameters: Replaying all sequences: false Regression-mode : true Show exception-throwning execution: true Max. length of shown suffix: 10 Max. depth of objects shown: 3 ----- ** Scanned : 26 directly instantiable classes, 5 not directly instantiable classes. Oct 07, 2014 10:26:34 AM Sequenic.T3.T3SuiteGenAPI INFO: Using a custom value generator. ----- Oct 07, 2014 10:26:34 AM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG calculateGoals INFO: Constructing ADT goals of class Sequenic.T2.XPool: 1 CM, 4 Mut[Mut], 3 NonMut. Oct 07, 2014 10:26:35 AM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG generateSuite INFO: Suite for Sequenic.T2.XPool is generated, size=750 ** Performed ADT testing Testing scope:CUT = Sequenic.T2.XPool Including non-private members Constructors: 1 Sequenic.T2.XPool public Creator methods: 0 Mutators: 2 put public reset public Non-mutators: 3 getIndex public get_objectCount public get public Fields: 0 Oct 07, 2014 10:26:35 AM Sequenic.T3.T3SuiteGenAPI suite INFO: ** Injecting oracles Oct 07, 2014 10:26:35 AM Sequenic.T3.Sequence.Datatype.SUITE injectOracles INFO: ** Injected oracles on 750 sequences of a suite of Sequenic.T2.XPool ... ----- ** Suite generated. ** Suite name : ADT_Sequenic.T2.XPool ** CUT : Sequenic.T2.XPool ** Suite size : 750 ** Avrg. seq. length : 6.1373334 Oct 07, 2014 10:26:35 AM Sequenic.T3.Sequence.Datatype.SUITE save INFO: ** Saving a test-suite to /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr, 524 KB ** Runtime = 1054 ** Suite name : ADT_Sequenic.T2.XPool ** CUT : Sequenic.T2.XPool ** Suite size : 750 ** Avrg. seq. length : 6.1373334 ** Executed : 750 ** Violating : 0 ** Invalid : 0 ** Failing : 0 ** Runtime : 166 ms ** Field-pairs' abstract values coverage : 3/12 (25.0%) ** Constructor coverage : 1/1 (100.0%) ** Creator-method coverage : 0/0 (100%) ** Method coverage : 5/5 (100.0%) ** Field coverage : 0/0 (100%) ** Method-pair coverage : 30/30 (100.0%) ** Member-pair coverage : 30/30 (100.0%) ** Uncovered constructors: - ** Uncovered creator methods: - ** Uncovered methods: - ** Uncovered fields: - Oct 07, 2014 10:26:35 AM Sequenic.T3.T3Cmd runT3 INFO: >> T3 runtime = 1262ms Time: 3.166 OK (2 tests) cp: cannot stat ‘/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/tests/Sequenic/T2/AdditionalTestXPool.java’: No such file or directory << READY Creating directory ./temp/testcases/bin Creating dummy JUnit test file ---Compilation--- === javac command line: /usr/lib/jvm/java-8-oracle/bin/javac -sourcepath /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin -d ./temp/testcases/bin /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/SBSTDummyForCoverageAndMutationCalculation.java === javac command line: /usr/lib/jvm/java-8-oracle/bin/javac -sourcepath /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin -d ./temp/testcases/bin /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/Sequenic/T2/ReplayTestXPool.java Compiled 'Sequenic/T2/ReplayTestXPool.java' ---Timing Information--- === JUnit test command line: /usr/lib/jvm/java-8-oracle/bin/java -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin org.junit.runner.JUnitCore SBSTDummyForCoverageAndMutationCalculation JUnit version 4.10 . Time: 0.007 OK (1 test) === JUnit test command line: /usr/lib/jvm/java-8-oracle/bin/java -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin org.junit.runner.JUnitCore Sequenic.T2.ReplayTestXPool Executed 'Sequenic.T2.ReplayTestXPool' JUnit version 4.10 .Oct 07, 2014 10:26:40 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB Oct 07, 2014 10:26:40 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB ----- ** Replaying dummy name, a merged suite ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle.** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 ** Executed : 1500 ** Violating : 0 ** Invalid : 0 ** Failing : 0 ** Runtime : 591 ms ** Field-pairs' abstract values coverage : 3/12 (25.0%) Oct 07, 2014 10:26:40 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 1229ms Time: 1.254 OK (1 test) ---Coverage Calculation--- Creating directory ./temp/testcases/instrumented === Jacoco command line: /usr/lib/jvm/java-8-oracle/bin/java -javaagent:/home/ubuntu/workshop/T2benchmark/testingtools/jacocoagent.jar=destfile=/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/instrumented/jacoco.exec,append=true -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin org.junit.runner.JUnitCore SBSTDummyForCoverageAndMutationCalculation **** jacoco command line: [/usr/lib/jvm/java-8-oracle/bin/java, -javaagent:/home/ubuntu/workshop/T2benchmark/testingtools/jacocoagent.jar=destfile=/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/instrumented/jacoco.exec,append=true, -cp, /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin, org.junit.runner.JUnitCore, SBSTDummyForCoverageAndMutationCalculation] JUnit version 4.10 . Time: 0.016 OK (1 test) === Jacoco command line: /usr/lib/jvm/java-8-oracle/bin/java -javaagent:/home/ubuntu/workshop/T2benchmark/testingtools/jacocoagent.jar=destfile=/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/instrumented/jacoco.exec,append=true -cp /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin org.junit.runner.JUnitCore Sequenic.T2.ReplayTestXPool **** jacoco command line: [/usr/lib/jvm/java-8-oracle/bin/java, -javaagent:/home/ubuntu/workshop/T2benchmark/testingtools/jacocoagent.jar=destfile=/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/instrumented/jacoco.exec,append=true, -cp, /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin, org.junit.runner.JUnitCore, Sequenic.T2.ReplayTestXPool] JUnit version 4.10 .Oct 07, 2014 10:26:42 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB Oct 07, 2014 10:26:43 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB ----- ** Replaying dummy name, a merged suite ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle.** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 ** Executed : 1500 ** Violating : 0 ** Invalid : 0 ** Failing : 0 ** Runtime : 628 ms ** Field-pairs' abstract values coverage : 3/12 (25.0%) Oct 07, 2014 10:26:43 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 1242ms Time: 1.314 OK (1 test) Executed 'Sequenic.T2.ReplayTestXPool' ---Mutation Coverage--- Created PITest output directory in /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/pitestout === PITest command line: /usr/lib/jvm/java-8-oracle/bin/java -cp /home/ubuntu/workshop/T2benchmark/testingtools/pitest-1.0.0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/pitest-command-line-1.0.0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin org.pitest.mutationtest.commandline.MutationCoverageReport --failWhenNoMutations false --outputFormats CSV --threads 1 --reportDir /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/pitestout --targetClasses Sequenic.T2.XPool,Sequenic.T2.XPool$* --targetTests SBSTDummyForCoverageAndMutationCalculation,Sequenic.T2.ReplayTestXPool --timestampedReports false --verbose --sourceDir /home/ubuntu/workshop/T2benchmark/src Executed 'Sequenic.T2.ReplayTestXPool' 10:26:44 AM PIT >> FINE : Running report with ReportOptions [config=org.pitest.mutationtest.config.CompoundConfiguration@5d11346a, targetClasses=[^Sequenic\.T2\.XPool$, ^Sequenic\.T2\.XPool\$.*$], excludedMethods=[], excludedClasses=[], codePaths=[], reportDir=/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/pitestout, historyInputLocation=null, historyOutputLocation=null, sourceDirs=[/home/ubuntu/workshop/T2benchmark/src], classPathElements=[/home/ubuntu/workshop/T2benchmark/testingtools/pitest-1.0.0.jar, /home/ubuntu/workshop/T2benchmark/testingtools/pitest-command-line-1.0.0.jar, /home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar, /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin, /home/ubuntu/workshop/T2benchmark/build/CUTclasses, /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar, /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar, /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin, /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin], mutators=[], dependencyAnalysisMaxDistance=-1, mutateStaticInitializers=false, jvmArgs=[], numberOfThreads=1, timeoutFactor=1.25, timeoutConstant=4000, targetTests=[^SBSTDummyForCoverageAndMutationCalculation$, ^Sequenic\.T2\.ReplayTestXPool$], loggingClasses=[], maxMutationsPerClass=0, verbose=true, failWhenNoMutations=false, outputs=[CSV], groupConfig=TestGroupConfig [excludedGroups=[], includedGroups=[]], mutationUnitSize=0, shouldCreateTimestampedReports=false, detectInlinedCode=false, exportLineCoverage=false, mutationThreshold=0, coverageThreshold=0, mutationEngine=gregor, javaExecutable=null] 10:26:44 AM PIT >> FINE : System class path is /home/ubuntu/workshop/T2benchmark/testingtools/pitest-1.0.0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/pitest-command-line-1.0.0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/junit-4.10.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/bin:/home/ubuntu/workshop/T2benchmark/build/CUTclasses:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/interactiveT3v0.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/../t3/jars/groovy-all-2.3.6.jar:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/commonbin:/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/bin 10:26:44 AM PIT >> FINE : Maximum available memory is 241 mb 10:26:44 AM PIT >> FINE : using port 8092 10:26:44 AM PIT >> FINE : SLAVE : Installing PIT agent 10:26:44 AM PIT >> INFO : Sending 3 test classes to slave 10:26:44 AM PIT >> INFO : Sent tests to slave 10:26:45 AM PIT >> INFO : SLAVE : 10:26:45 AM PIT >> FINE : Expecting 3 tests classes from parent 10:26:45 AM PIT >> FINE : Tests classes received 10:26:45 AM PIT >> INFO : SLAVE : 10:26:45 AM PIT >> INFO : Found 3 tests 10:26:45 AM PIT >> INFO : SLAVE : 10:26:45 AM PIT >> INFO : Dependency analysis reduced number of potential tests by 0 10:26:45 AM PIT >> INFO : SLAVE : 10:26:45 AM PIT >> INFO : 3 tests received 10:26:45 AM PIT >> INFO : SLAVE : 10:26:45 AM PIT >> FINE : Running 3 units 10:26:45 AM PIT >> INFO : SLAVE : 10:26:45 AM PIT >> FINE : Gathering coverage for test Description [testClass=SBSTDummyForCoverageAndMutationCalculation, name=test(SBSTDummyForCoverageAndMutationCalculation)] 10:26:45 AM PIT >> INFO : SLAVE : 10:26:45 AM PIT >> FINE : Gathering coverage for test Description [testClass=Sequenic.T2.ReplayTestXPool, name=test1(Sequenic.T2.ReplayTestXPool)] 10:26:45 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:26:45 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB 10:26:45 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:26:45 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB 10:26:45 AM PIT >> INFO : SLAVE : ----- 10:26:45 AM PIT >> INFO : SLAVE : ** Replaying dummy name, a merged suite 10:26:45 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 10:26:46 AM PIT >> INFO : SLAVE : ** Executed : 1500 10:26:46 AM PIT >> INFO : SLAVE : ** Violating : 0 10:26:46 AM PIT >> INFO : SLAVE : ** Invalid : 0 10:26:46 AM PIT >> INFO : SLAVE : ** Failing : 0 10:26:46 AM PIT >> INFO : SLAVE : ** Runtime : 635 ms 10:26:46 AM PIT >> INFO : SLAVE : ** Field-pairs' abstract values coverage : 3/12 (25.0%) 10:26:46 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:26:46 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 1148ms 10:26:46 AM PIT >> INFO : SLAVE : 10:26:46 AM PIT >> FINE : Gathering coverage for test Description [testClass=Sequenic.T2.ReplayTestXPool, name=test1(Sequenic.T2.ReplayTestXPool)] 10:26:46 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:26:46 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB 10:26:46 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:26:46 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB 10:26:46 AM PIT >> INFO : SLAVE : ----- 10:26:46 AM PIT >> INFO : SLAVE : ** Replaying dummy name, a merged suite 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:46 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** A sequence throws an exception, but is allowed by its oracle. 10:26:47 AM PIT >> INFO : SLAVE : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 10:26:47 AM PIT >> INFO : SLAVE : ** Executed : 1500 10:26:47 AM PIT >> INFO : SLAVE : ** Violating : 0 10:26:47 AM PIT >> INFO : SLAVE : ** Invalid : 0 10:26:47 AM PIT >> INFO : SLAVE : ** Failing : 0 10:26:47 AM PIT >> INFO : SLAVE : ** Runtime : 402 ms 10:26:47 AM PIT >> INFO : SLAVE : ** Field-pairs' abstract values coverage : 3/12 (25.0%) 10:26:47 AM PIT >> INFO : SLAVE : Oct 07, 2014 10:26:47 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 731ms 10:26:47 AM PIT >> INFO : SLAVE : 10:26:47 AM PIT >> FINE : Finished 10:26:47 AM PIT >> INFO : Calculated coverage in 2 seconds. 10:26:47 AM PIT >> FINE : Used memory after coverage calculation 5 mb 10:26:47 AM PIT >> FINE : Free Memory after coverage calculation 9 mb 10:26:47 AM PIT >> INFO : Created 1 mutation test units 10:26:47 AM PIT >> FINE : Used memory before analysis start 6 mb 10:26:47 AM PIT >> FINE : Free Memory before analysis start 9 mb 10:26:47 AM PIT >> FINE : Running 1 units 10:26:47 AM PIT >> FINE : using port 8092 stdout : Installing PIT agent stderr : 10:26:48 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.MathMutator], stderr : filename=XPool.java, block=10, lineNumber=111, description=Replaced integer addition with subtraction, testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]] stderr : 10:26:48 AM PIT >> FINE : mutating method put stderr : 10:26:48 AM PIT >> FINE : 1 relevant test for put stderr : 10:26:48 AM PIT >> FINE : replaced class with mutant in 5 ms stderr : 10:26:48 AM PIT >> FINE : Running 1 units stderr : Oct 07, 2014 10:26:48 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB stderr : Oct 07, 2014 10:26:49 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB stderr : ----- stderr : ** Replaying dummy name, a merged suite stderr : **--- [Sequenic.T2.XPool seq 2] , length=4 throws an exception.stderr : ** [step 0] stderr : CON Sequenic.T2.XPool() stderr : -- returned value: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 1] stderr : CALL put on REF 0 with (CON java.lang.Object()) stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ (Integer) : 0] (java.lang.Object) @ 3 domainMap (HashMap) @ 4 [ (Class) : ...] (LinkedList) @ 5 stderr : [0] ... objectCount (Integer) : -1stderr : -- returned value: (Integer) : 0stderr : ** [step 2] stderr : CALL get on REF 0 with (-2) stderr : >> VIOLATION! stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ (Integer) : 0] (java.lang.Object) @ 3 domainMap (HashMap) @ 4 [ (Class) : ...] (LinkedList) @ 5 stderr : [0] ... objectCount (Integer) : -1stderr : -- thrown exception: stderr : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ ...] ... domainMap (HashMap) @ 2 [ ...] ... objectCount (Integer) : 1 but getting: stderr : (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ ...] ... domainMap (HashMap) @ 2 [ ...] ... objectCount (Integer) : -1stderr : stderr : at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr : stderr : at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr : stderr : at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr : stderr : at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr : stderr : at Common.Common.replay(Common.java:61)stderr : stderr : at Common.Common.replayCUTtest(Common.java:76)stderr : stderr : at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr : stderr : at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr : stderr : at java.lang.reflect.Method.invoke(Method.java:483)stderr : stderr : at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr : stderr : at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr : stderr : at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr : stderr : at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr : stderr : at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr : stderr : at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr : stderr : at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr : stderr : at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr : stderr : at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr : stderr : at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr : stderr : at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr : stderr : at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr : stderr : at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr : stderr : at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr : stderr : at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr : stderr : at java.lang.Thread.run(Thread.java:745)stderr : stderr : ** The above sequence is VIOLATING an oracle!stderr : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 stderr : ** Executed : 3 stderr : ** Violating : 1 stderr : ** Invalid : 0 stderr : ** Failing : 0 stderr : ** Runtime : 25 ms stderr : ** Field-pairs' abstract values coverage : 3/12 (25.0%) stderr : Oct 07, 2014 10:26:49 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 533ms stderr : 10:26:49 AM PIT >> FINE : Finished 10:26:49 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.MathMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) stderr : 10:26:49 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.MathMutator] detected = KILLED by Sequenicstderr : .T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) stderr : 10:26:49 AM PIT >> FINE : processed mutation in 711 ms. stderr : 10:26:49 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=get_objectCount, methodDesc=()I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], stderr : filename=XPool.java, block=1, lineNumber=47, description=replaced return of integer sized value with (x == 0 ? 1 : 0), testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]] stderr : 10:26:49 AM PIT >> FINE : mutating method get_objectCount stderr : 10:26:49 AM PIT >> FINE : 1 relevant test for get_objectCount stderr : 10:26:49 AM PIT >> FINE : replaced class with mutant in 11 ms 10:26:49 AM PIT >> FINE : Running 1 units stderr : Oct 07, 2014 10:26:49 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB stderr : Oct 07, 2014 10:26:49 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB stderr : ----- stderr : ** Replaying dummy name, a merged suite stderr : **--- [Sequenic.T2.XPool seq 3] , length=4 throws an exception.stderr : ** [step 0] stderr : CON Sequenic.T2.XPool() stderr : -- returned value: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 1] stderr : CALL get on REF 0 with (11) stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 2] stderr : CALL get_objectCount on REF 0 with () stderr : >> VIOLATION! stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : -- returned value: (Integer) : 1stderr : -- thrown exception: stderr : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: (Integer) : 0 but getting: (Integer) : 1stderr : stderr : at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr : stderr : at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr : stderr : at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr : stderr : at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr : stderr : at Common.Common.replay(Common.java:61)stderr : stderr : at Common.Common.replayCUTtest(Common.java:76)stderr : stderr : at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr : stderr : at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr : stderr : at java.lang.reflect.Method.invoke(Method.java:483)stderr : stderr : at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr : stderr : at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr : stderr : at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr : stderr : at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr : stderr : at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr : stderr : at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr : stderr : at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr : stderr : at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr : stderr : at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr : stderr : at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr : stderr : at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr : stderr : at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr : stderr : at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr : stderr : at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr : stderr : at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr : stderr : at java.lang.Thread.run(Thread.java:745)stderr : stderr : ** The above sequence is VIOLATING an oracle!stderr : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 stderr : ** Executed : 4 stderr : ** Violating : 1 stderr : ** Invalid : 0 stderr : ** Failing : 0 stderr : ** Runtime : 25 ms stderr : ** Field-pairs' abstract values coverage : 3/12 (25.0%) stderr : Oct 07, 2014 10:26:49 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 379ms 10:26:49 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=get_objectCount, methodDesc=()I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) stderr : 10:26:49 AM PIT >> FINE : Finished 10:26:49 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=get_objectCount, methodDesc=()I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutstderr : ator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) 10:26:49 AM PIT >> FINE : processed mutation in 416 ms. 10:26:49 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Sestderr : quenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=XPool.java, block=9, lineNumber=101, description=mutated return of Objectstderr : value for Sequenic/T2/XPool::getIndex to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]] stderr : 10:26:49 AM PIT >> FINE : mutating method getIndex stderr : 10:26:49 AM PIT >> FINE : 1 relevant test for getIndex stderr : 10:26:49 AM PIT >> FINE : replaced class with mutant in 18 ms 10:26:49 AM PIT >> FINE : Running 1 units stderr : Oct 07, 2014 10:26:49 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB stderr : Oct 07, 2014 10:26:49 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB stderr : ----- stderr : ** Replaying dummy name, a merged suite stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : **--- [Sequenic.T2.XPool seq 758] , length=4 throws an exception.stderr : ** [step 0] stderr : CON Sequenic.T2.XPool() stderr : -- returned value: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 1] stderr : CALL put on REF 0 with (CON java.lang.Object()) stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ (Integer) : 0] (java.lang.Object) @ 3 domainMap (HashMap) @ 4 [ (Class) : ...] (LinkedList) @ 5 stderr : [0] ... objectCount (Integer) : 1stderr : -- returned value: (Integer) : 0stderr : ** [step 2] stderr : CALL getIndex on REF 0 with (class java.lang.Object) stderr : >> VIOLATION! stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ (Integer) : 0] (java.lang.Object) @ 3 domainMap (HashMap) @ 4 [ (Class) : ...] (LinkedList) @ 5 stderr : [0] ... objectCount (Integer) : 1stderr : -- thrown exception: stderr : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: (Integer) : 0 but getting: nullstderr : stderr : at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr : stderr : at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr : stderr : at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr : stderr : at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr : stderr : at Common.Common.replay(Common.java:61)stderr : stderr : at Common.Common.replayCUTtest(Common.java:76)stderr : stderr : at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr : stderr : at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr : stderr : at java.lang.reflect.Method.invoke(Method.java:483)stderr : stderr : at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr : stderr : at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr : stderr : at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr : stderr : at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr : stderr : at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr : stderr : at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr : stderr : at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr : stderr : at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr : stderr : at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr : stderr : at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr : stderr : at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr : stderr : at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr : stderr : at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr : stderr : at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr : stderr : at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr : stderr : at java.lang.Thread.run(Thread.java:745)stderr : stderr : ** The above sequence is VIOLATING an oracle!stderr : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 stderr : ** Executed : 759 stderr : ** Violating : 1 stderr : ** Invalid : 0 stderr : ** Failing : 0 stderr : ** Runtime : 399 ms stderr : ** Field-pairs' abstract values coverage : 3/12 (25.0%) stderr : Oct 07, 2014 10:26:50 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 716ms stderr : 10:26:50 AM PIT >> FINE : Finished stderr : 10:26:50 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] dstderr : etected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) 10:26:50 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) stderr : 10:26:50 AM PIT >> FINE : processed mutation in 758 ms. stderr : 10:26:50 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[2], mutator=org.pitest.mutationtest.engine.gregor.mstderr : utators.NegateConditionalsMutator], filename=XPool.java, block=7, lineNumber=88, description=negated conditional, testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]] stderr : 10:26:50 AM PIT >> FINE : mutating method getIndex stderr : 10:26:50 AM PIT >> FINE : 1 relevant test for getIndex stderr : 10:26:50 AM PIT >> FINE : replaced class with mutant in 9 ms 10:26:50 AM PIT >> FINE : Running 1 units stderr : Oct 07, 2014 10:26:50 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB stderr : Oct 07, 2014 10:26:50 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB stderr : ----- stderr : ** Replaying dummy name, a merged suite stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : **--- [Sequenic.T2.XPool seq 1] , length=4 throws an exception.stderr : ** [step 0] stderr : CON Sequenic.T2.XPool() stderr : -- returned value: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 1] stderr : CALL reset on REF 0 with () stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (LinkedHashMap) @ 1 domainMap (LinkedHashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 2] stderr : CALL getIndex on REF 0 with (null) stderr : >> VIOLATION! stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (LinkedHashMap) @ 1 domainMap (LinkedHashMap) @ 2 objectCount (Integer) : 0stderr : -- thrown exception: stderr : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: null to be thrown, but getting: java.util.NoSuchElementExceptionstderr : stderr : at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr : stderr : at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr : stderr : at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr : stderr : at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr : stderr : at Common.Common.replay(Common.java:61)stderr : stderr : at Common.Common.replayCUTtest(Common.java:76)stderr : stderr : at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr : stderr : at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr : stderr : at java.lang.reflect.Method.invoke(Method.java:483)stderr : stderr : at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr : stderr : at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr : stderr : at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr : stderr : at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr : stderr : at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr : stderr : at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr : stderr : at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr : stderr : at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr : stderr : at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr : stderr : at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr : stderr : at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr : stderr : at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr : stderr : at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr : stderr : at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr : stderr : at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr : stderr : at java.lang.Thread.run(Thread.java:745)stderr : stderr : ** The above sequence is VIOLATING an oracle!stderr : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 stderr : ** Executed : 2 stderr : ** Violating : 1 stderr : ** Invalid : 0 stderr : ** Failing : 0 stderr : ** Runtime : 20 ms stderr : ** Field-pairs' abstract values coverage : 3/12 (25.0%) stderr : Oct 07, 2014 10:26:50 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 212ms 10:26:50 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[2], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) stderr : 10:26:50 AM PIT >> FINE : Finished 10:26:50 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[2], mutator=org.pitest.mutationtest.engine.gstderr : regor.mutators.NegateConditionalsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) 10:26:50 AM PIT >> FINE : processed mutation in 259 ms. 10:26:50 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdestderr : ntifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=XPool.java, block=5, lineNumbstderr : er=87, description=negated conditional, testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]] stderr : 10:26:50 AM PIT >> FINE : mutating method getIndex stderr : 10:26:50 AM PIT >> FINE : 1 relevant test for getIndex stderr : 10:26:50 AM PIT >> FINE : replaced class with mutant in 16 ms 10:26:50 AM PIT >> FINE : Running 1 units stderr : Oct 07, 2014 10:26:50 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB stderr : Oct 07, 2014 10:26:50 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB stderr : ----- stderr : ** Replaying dummy name, a merged suite stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : **--- [Sequenic.T2.XPool seq 758] , length=4 throws an exception.stderr : ** [step 0] stderr : CON Sequenic.T2.XPool() stderr : -- returned value: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 1] stderr : CALL put on REF 0 with (CON java.lang.Object()) stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ (Integer) : 0] (java.lang.Object) @ 3 domainMap (HashMap) @ 4 [ (Class) : ...] (LinkedList) @ 5 stderr : [0] ... objectCount (Integer) : 1stderr : -- returned value: (Integer) : 0stderr : ** [step 2] stderr : CALL getIndex on REF 0 with (class java.lang.Object) stderr : >> VIOLATION! stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ (Integer) : 0] (java.lang.Object) @ 3 domainMap (HashMap) @ 4 [ (Class) : ...] (LinkedList) @ 5 stderr : [0] ... objectCount (Integer) : 1stderr : -- thrown exception: stderr : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: (Integer) : 0 but getting: nullstderr : stderr : at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr : stderr : at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr : stderr : at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr : stderr : at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr : stderr : at Common.Common.replay(Common.java:61)stderr : stderr : at Common.Common.replayCUTtest(Common.java:76)stderr : stderr : at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr : stderr : at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr : stderr : at java.lang.reflect.Method.invoke(Method.java:483)stderr : stderr : at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr : stderr : at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr : stderr : at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr : stderr : at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr : stderr : at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr : stderr : at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr : stderr : at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr : stderr : at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr : stderr : at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr : stderr : at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr : stderr : at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr : stderr : at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr : stderr : at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr : stderr : at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr : stderr : at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr : stderr : at java.lang.Thread.run(Thread.java:745)stderr : stderr : ** The above sequence is VIOLATING an oracle!stderr : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 stderr : ** Executed : 759 stderr : ** Violating : 1 stderr : ** Invalid : 0 stderr : ** Failing : 0 stderr : ** Runtime : 218 ms stderr : ** Field-pairs' abstract values coverage : 3/12 (25.0%) stderr : Oct 07, 2014 10:26:50 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 382ms 10:26:50 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) stderr : 10:26:50 AM PIT >> FINE : Finished 10:26:50 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[1], mutator=org.pitest.mutationtest.engine.gstderr : regor.mutators.NegateConditionalsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) 10:26:50 AM PIT >> FINE : processed mutation in 420 ms. 10:26:50 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdestderr : ntifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=XPool.java, block=4, lineNumbstderr : er=86, description=negated conditional, testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]] stderr : 10:26:50 AM PIT >> FINE : mutating method getIndex stderr : 10:26:50 AM PIT >> FINE : 1 relevant test for getIndex stderr : 10:26:50 AM PIT >> FINE : replaced class with mutant in 19 ms 10:26:50 AM PIT >> FINE : Running 1 units stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB stderr : ----- stderr : ** Replaying dummy name, a merged suite stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : **--- [Sequenic.T2.XPool seq 1] , length=4 throws an exception.stderr : ** [step 0] stderr : CON Sequenic.T2.XPool() stderr : -- returned value: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 1] stderr : CALL reset on REF 0 with () stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (LinkedHashMap) @ 1 domainMap (LinkedHashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 2] stderr : CALL getIndex on REF 0 with (null) stderr : >> VIOLATION! stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (LinkedHashMap) @ 1 domainMap (LinkedHashMap) @ 2 objectCount (Integer) : 0stderr : -- thrown exception: stderr : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: null to be thrown, but getting: java.util.NoSuchElementExceptionstderr : stderr : at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr : stderr : at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr : stderr : at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr : stderr : at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr : stderr : at Common.Common.replay(Common.java:61)stderr : stderr : at Common.Common.replayCUTtest(Common.java:76)stderr : stderr : at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr : stderr : at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr : stderr : at java.lang.reflect.Method.invoke(Method.java:483)stderr : stderr : at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr : stderr : at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr : stderr : at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr : stderr : at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr : stderr : at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr : stderr : at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr : stderr : at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr : stderr : at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr : stderr : at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr : stderr : at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr : stderr : at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr : stderr : at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr : stderr : at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr : stderr : at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr : stderr : at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr : stderr : at java.lang.Thread.run(Thread.java:745)stderr : stderr : ** The above sequence is VIOLATING an oracle!stderr : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 stderr : ** Executed : 2 stderr : ** Violating : 1 stderr : ** Invalid : 0 stderr : ** Failing : 0 stderr : ** Runtime : 8 ms stderr : ** Field-pairs' abstract values coverage : 3/12 (25.0%) stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 192ms 10:26:51 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) stderr : 10:26:51 AM PIT >> FINE : Finished 10:26:51 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gstderr : regor.mutators.NegateConditionalsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) 10:26:51 AM PIT >> FINE : processed mutation in 234 ms. 10:26:51 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdestderr : ntifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=XPool.java, block=8, lineNumber=88, dstderr : escription=mutated return of Object value for Sequenic/T2/XPool::getIndex to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]] stderr : 10:26:51 AM PIT >> FINE : mutating method getIndex stderr : 10:26:51 AM PIT >> FINE : 1 relevant test for getIndex stderr : 10:26:51 AM PIT >> FINE : replaced class with mutant in 20 ms 10:26:51 AM PIT >> FINE : Running 1 units stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB stderr : ----- stderr : ** Replaying dummy name, a merged suite stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : **--- [Sequenic.T2.XPool seq 1] , length=4 throws an exception.stderr : ** [step 0] stderr : CON Sequenic.T2.XPool() stderr : -- returned value: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 1] stderr : CALL reset on REF 0 with () stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (LinkedHashMap) @ 1 domainMap (LinkedHashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 2] stderr : CALL getIndex on REF 0 with (null) stderr : >> VIOLATION! stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (LinkedHashMap) @ 1 domainMap (LinkedHashMap) @ 2 objectCount (Integer) : 0stderr : -- thrown exception: stderr : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: null to be thrown, but getting: java.lang.RuntimeExceptionstderr : stderr : at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr : stderr : at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr : stderr : at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr : stderr : at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr : stderr : at Common.Common.replay(Common.java:61)stderr : stderr : at Common.Common.replayCUTtest(Common.java:76)stderr : stderr : at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr : stderr : at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr : stderr : at java.lang.reflect.Method.invoke(Method.java:483)stderr : stderr : at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr : stderr : at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr : stderr : at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr : stderr : at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr : stderr : at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr : stderr : at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr : stderr : at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr : stderr : at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr : stderr : at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr : stderr : at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr : stderr : at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr : stderr : at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr : stderr : at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr : stderr : at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr : stderr : at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr : stderr : at java.lang.Thread.run(Thread.java:745)stderr : stderr : ** The above sequence is VIOLATING an oracle!stderr : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 stderr : ** Executed : 2 stderr : ** Violating : 1 stderr : ** Invalid : 0 stderr : ** Failing : 0 stderr : ** Runtime : 13 ms stderr : ** Field-pairs' abstract values coverage : 3/12 (25.0%) stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 155ms 10:26:51 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) stderr : 10:26:51 AM PIT >> FINE : Finished 10:26:51 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=getIndex, methodDesc=(Ljava/lang/Class;)Ljava/lang/Integer;], indexes=[0], mutator=org.pitest.mutationtest.engine.gstderr : regor.mutators.ReturnValsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) 10:26:51 AM PIT >> FINE : processed mutation in 199 ms. 10:26:51 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier stderr : [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=XPool.java, block=10, lineNumber=113, description=negated cstderr : onditional, testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]] stderr : 10:26:51 AM PIT >> FINE : mutating method put stderr : 10:26:51 AM PIT >> FINE : 1 relevant test for put stderr : 10:26:51 AM PIT >> FINE : replaced class with mutant in 16 ms 10:26:51 AM PIT >> FINE : Running 1 units stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB stderr : ----- stderr : ** Replaying dummy name, a merged suite stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : **--- [Sequenic.T2.XPool seq 14] , length=4 throws an exception.stderr : ** [step 0] stderr : CON Sequenic.T2.XPool() stderr : -- returned value: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 1] stderr : CALL reset on REF 0 with () stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (LinkedHashMap) @ 1 domainMap (LinkedHashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 2] stderr : CALL put on REF 0 with (CON java.lang.Object()) stderr : >> VIOLATION! stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (LinkedHashMap) @ 1 [ (Integer) : 0] (java.lang.Object) @ 3 domainMap (LinkedHashMap) @ 4 objectCount (Integer) : 1stderr : -- thrown exception: stderr : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: null to be thrown, but getting: java.lang.NullPointerExceptionstderr : stderr : at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr : stderr : at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr : stderr : at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr : stderr : at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr : stderr : at Common.Common.replay(Common.java:61)stderr : stderr : at Common.Common.replayCUTtest(Common.java:76)stderr : stderr : at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr : stderr : at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr : stderr : at java.lang.reflect.Method.invoke(Method.java:483)stderr : stderr : at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr : stderr : at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr : stderr : at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr : stderr : at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr : stderr : at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr : stderr : at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr : stderr : at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr : stderr : at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr : stderr : at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr : stderr : at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr : stderr : at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr : stderr : at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr : stderr : at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr : stderr : at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr : stderr : at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr : stderr : at java.lang.Thread.run(Thread.java:745)stderr : stderr : ** The above sequence is VIOLATING an oracle!stderr : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 stderr : ** Executed : 15 stderr : ** Violating : 1 stderr : ** Invalid : 0 stderr : ** Failing : 0 stderr : ** Runtime : 12 ms stderr : ** Field-pairs' abstract values coverage : 3/12 (25.0%) stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 190ms 10:26:51 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) stderr : 10:26:51 AM PIT >> FINE : Finished 10:26:51 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateCstderr : onditionalsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) 10:26:51 AM PIT >> FINE : processed mutation in 230 ms. 10:26:51 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Locastderr : tion [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=XPool.java, block=12, lineNumber=120, description=replaced return of integer sizestderr : d value with (x == 0 ? 1 : 0), testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]] stderr : 10:26:51 AM PIT >> FINE : mutating method put stderr : 10:26:51 AM PIT >> FINE : 1 relevant test for put stderr : 10:26:51 AM PIT >> FINE : replaced class with mutant in 20 ms 10:26:51 AM PIT >> FINE : Running 1 units stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB stderr : ----- stderr : ** Replaying dummy name, a merged suite stderr : ** A sequence throws an exception, but is allowed by its oracle.stderr : **--- [Sequenic.T2.XPool seq 13] , length=4 throws an exception.stderr : ** [step 0] stderr : CON Sequenic.T2.XPool() stderr : -- returned value: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 1] stderr : CALL put on REF 0 with (CON java.lang.Object()) stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ (Integer) : 0] (java.lang.Object) @ 3 domainMap (HashMap) @ 4 [ (Class) : ...] (LinkedList) @ 5 stderr : [0] ... objectCount (Integer) : 1stderr : -- returned value: (Integer) : 1stderr : ** [step 2] stderr : CALL put on REF 0 with (REF 1) stderr : >> VIOLATION! stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ (Integer) : 0] (java.lang.Object) @ 3 [ (Integer) : 1] (java.lang.Object) @ 3 domainMap (HashMap) @ 5 [stderr : (Class) : ...] (LinkedList) @ 6 [0] ... [1] ... objectCount (Integer) : 2stderr : -- returned value: (Integer) : 0stderr : -- thrown exception: stderr : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: (Integer) : 1 but getting: (Integer) : 0stderr : stderr : at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr : stderr : at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr : stderr : at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr : stderr : at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr : stderr : at Common.Common.replay(Common.java:61)stderr : stderr : at Common.Common.replayCUTtest(Common.java:76)stderr : stderr : at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr : stderr : at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr : stderr : at java.lang.reflect.Method.invoke(Method.java:483)stderr : stderr : at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr : stderr : at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr : stderr : at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr : stderr : at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr : stderr : at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr : stderr : at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr : stderr : at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr : stderr : at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr : stderr : at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr : stderr : at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr : stderr : at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr : stderr : at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr : stderr : at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr : stderr : at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr : stderr : at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr : stderr : at java.lang.Thread.run(Thread.java:745)stderr : stderr : ** The above sequence is VIOLATING an oracle!stderr : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 stderr : ** Executed : 14 stderr : ** Violating : 1 stderr : ** Invalid : 0 stderr : ** Failing : 0 stderr : ** Runtime : 14 ms stderr : ** Field-pairs' abstract values coverage : 3/12 (25.0%) stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 149ms stderr : 10:26:51 AM PIT >> FINE : Finished 10:26:51 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnVstderr : alsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) 10:26:51 AM PIT >> FINE : processed mutation in 192 ms. 10:26:51 AM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clstderr : azz=Sequenic.T2.XPool, method=get, methodDesc=(I)Ljava/lang/Object;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=XPool.java, block=3, lineNumber=70, description=mutated return of Object value for Sequenstderr : ic/T2/XPool::get to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool)]] 10:26:51 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=put, methodDesc=(Ljava/lang/Object;)I], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) stderr : 10:26:51 AM PIT >> FINE : mutating method get stderr : 10:26:51 AM PIT >> FINE : 1 relevant test for get stderr : 10:26:51 AM PIT >> FINE : replaced class with mutant in 19 ms 10:26:51 AM PIT >> FINE : Running 1 units stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677594398.tr is loaded, 5172 KB stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Sequenic.T2.XPool__1412677595718.tr is loaded, 5249 KB stderr : ----- stderr : ** Replaying dummy name, a merged suite stderr : **--- [Sequenic.T2.XPool seq 2] , length=4 throws an exception.stderr : ** [step 0] stderr : CON Sequenic.T2.XPool() stderr : -- returned value: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 domainMap (HashMap) @ 2 objectCount (Integer) : 0stderr : ** [step 1] stderr : CALL put on REF 0 with (CON java.lang.Object()) stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ (Integer) : 0] (java.lang.Object) @ 3 domainMap (HashMap) @ 4 [ (Class) : ...] (LinkedList) @ 5 stderr : [0] ... objectCount (Integer) : 1stderr : -- returned value: (Integer) : 0stderr : ** [step 2] stderr : CALL get on REF 0 with (-2) stderr : >> VIOLATION! stderr : -- state of the receiver object: (Sequenic.T2.XPool) @ 0 objectMap (HashMap) @ 1 [ (Integer) : 0] (java.lang.Object) @ 3 domainMap (HashMap) @ 4 [ (Class) : ...] (LinkedList) @ 5 stderr : [0] ... objectCount (Integer) : 1stderr : -- thrown exception: stderr : Sequenic.T3.OracleError: T3: violating an oracle. Info: Expecting: null to be thrown, but getting: java.lang.RuntimeExceptionstderr : stderr : at Sequenic.T3.Sequence.Datatype.METHOD.exec(METHOD.java:150)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SEQ.exec(SEQ.java:95)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.showSequence(SUITE.java:224)stderr : stderr : at Sequenic.T3.Sequence.Datatype.SUITE.exec(SUITE.java:163)stderr : stderr : at Sequenic.T3.SuiteAPI.replay(SuiteAPI.java:77)stderr : stderr : at Sequenic.T3.ReplayCmd.runSuite(ReplayCmd.java:134)stderr : stderr : at Sequenic.T3.ReplayCmd.runReplay(ReplayCmd.java:167)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:190)stderr : stderr : at Sequenic.T3.ReplayCmd.main(ReplayCmd.java:185)stderr : stderr : at Common.Common.replay(Common.java:61)stderr : stderr : at Common.Common.replayCUTtest(Common.java:76)stderr : stderr : at Sequenic.T2.ReplayTestXPool.test1(ReplayTestXPool.java:28)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)stderr : stderr : at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)stderr : stderr : at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)stderr : stderr : at java.lang.reflect.Method.invoke(Method.java:483)stderr : stderr : at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:45)stderr : stderr : at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)stderr : stderr : at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:42)stderr : stderr : at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)stderr : stderr : at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:263)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:68)stderr : stderr : at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:47)stderr : stderr : at org.junit.runners.ParentRunner$3.run(ParentRunner.java:231)stderr : stderr : at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:60)stderr : stderr : at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:229)stderr : stderr : at org.junit.runners.ParentRunner.access$000(ParentRunner.java:50)stderr : stderr : at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:222)stderr : stderr : at org.junit.runners.ParentRunner.run(ParentRunner.java:300)stderr : stderr : at org.pitest.junit.adapter.CustomRunnerExecutor.run(CustomRunnerExecutor.java:42)stderr : stderr : at org.pitest.junit.adapter.AdaptedJUnitTestUnit.execute(AdaptedJUnitTestUnit.java:85)stderr : stderr : at org.pitest.mutationtest.execute.MutationTimeoutDecorator$1.call(MutationTimeoutDecorator.java:88)stderr : stderr : at java.util.concurrent.FutureTask.run(FutureTask.java:266)stderr : stderr : at java.lang.Thread.run(Thread.java:745)stderr : stderr : ** The above sequence is VIOLATING an oracle!stderr : ** Suite name : dummy name, a merged suite ** CUT : Sequenic.T2.XPool ** Suite size : 1500 ** Avrg. seq. length : 6.0846667 stderr : ** Executed : 3 stderr : ** Violating : 1 stderr : ** Invalid : 0 stderr : ** Failing : 0 stderr : ** Runtime : 9 ms stderr : ** Field-pairs' abstract values coverage : 3/12 (25.0%) stderr : Oct 07, 2014 10:26:51 AM Sequenic.T3.ReplayCmd runReplay INFO: >> Replay runtime = 125ms stderr : 10:26:51 AM PIT >> FINE : Finished 10:26:51 AM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=get, methodDesc=(I)Ljava/lang/Object;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnVstderr : alsMutator] detected = KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) 10:26:51 AM PIT >> FINE : processed mutation in 158 ms. 10:26:51 AM PIT >> FINE : MutationIdentifier [location=Location [clazz=Sequenic.T2.XPool, method=get, methodDesc=(I)Ljava/lang/Object;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Sequenic.T2.ReplayTestXPool.test1(Sequenic.T2.ReplayTestXPool) 10:26:51 AM PIT >> FINE : Exit code was - OK 10:26:51 AM PIT >> FINE : Slave exited ok 10:26:52 AM PIT >> FINE : Finished 10:26:52 AM PIT >> INFO : Completed in 7 seconds ================================================================================ - Timings ================================================================================ > scan classpath : < 1 second > coverage and dependency analysis : 2 seconds > build mutation tests : < 1 second > run mutation analysis : 4 seconds -------------------------------------------------------------------------------- > Total : 7 seconds -------------------------------------------------------------------------------- ================================================================================ - Statistics ================================================================================ >> Generated 10 mutations Killed 10 (100%) >> Ran 10 tests (1 tests per mutation) ================================================================================ - Mutators ================================================================================ > org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator >> Generated 5 Killed 5 (100%) > KILLED 5 SURVIVED 0 TIMED_OUT 0 NON_VIABLE 0 > MEMORY_ERROR 0 NOT_STARTED 0 STARTED 0 RUN_ERROR 0 > NO_COVERAGE 0 -------------------------------------------------------------------------------- > org.pitest.mutationtest.engine.gregor.mutators.MathMutator >> Generated 1 Killed 1 (100%) > KILLED 1 SURVIVED 0 TIMED_OUT 0 NON_VIABLE 0 > MEMORY_ERROR 0 NOT_STARTED 0 STARTED 0 RUN_ERROR 0 > NO_COVERAGE 0 -------------------------------------------------------------------------------- > org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator >> Generated 4 Killed 4 (100%) > KILLED 4 SURVIVED 0 TIMED_OUT 0 NON_VIABLE 0 > MEMORY_ERROR 0 NOT_STARTED 0 STARTED 0 RUN_ERROR 0 > NO_COVERAGE 0 -------------------------------------------------------------------------------- === Results ======================================================================================================================== GenTime ExecTime InstrCov LineCov BranchCov MethodCov MutationCov ----------- ------------------------------------------------------------------------------------------------------------------------ 3.45s 1.75s 100% (138/138) 100% (29/29) 100% (8/8) 100% (6/6) 100% (10/10) ConditionalBoundaryMutations: 0/0 NegateConditionalMutations: 4/4 MathMutations: 1/1 IncrementMutations: 0/0 InvertNegativeMutations: 0/0 ReturnValueMutations: 5/5 VoidMethodCallMutations: 0/0 Stopping runtool...