Deleting file or directory ./temp/testcases/SBSTDummyForCoverageAndMutationCalculation.java Deleting file or directory ./temp/testcases/bin/Examples/ReplayTestBinarySearchTree.class Deleting file or directory ./temp/testcases/bin/Examples 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/Examples/ReplayTestBinarySearchTree.java Deleting file or directory ./temp/testcases/Examples Deleting file or directory ./temp/testcases Deleting file or directory ./temp/data/nonADT_Examples.BinarySearchTree__1412278451059.tr Deleting file or directory ./temp/data/ADT_Examples.BinarySearchTree__1412278448922.tr Deleting file or directory ./temp/data/ADT_Examples.BinarySearchTree__1412278455593.tr Deleting file or directory ./temp/data/nonADT_Examples.BinarySearchTree__1412278456821.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 ###: Examples.BinarySearchTree >> Examples.BinarySearchTree expecting: READY JUnit version 4.8.2 .Oct 02, 2014 7:46:43 PM Sequenic.T3.Reflection.ClassesScanner scan INFO: ** Scanning classes in /home/ubuntu/workshop/T2benchmark/build/CUTclasses Oct 02, 2014 7:46:43 PM 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 Examples.BinarySearchTree 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 : false Max. collection size : 3 Max. level of object nesting : 4 Max. prefix length : 4 Max. suffix length : 1 Variable length prefix : true Field-update probablity as a step : 0.0 Suite size multiplier for each goal : 200.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 02, 2014 7:46:43 PM Sequenic.T3.T3SuiteGenAPI INFO: Using T3's default value generator. ----- Oct 02, 2014 7:46:44 PM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG calculateGoals INFO: Constructing ADT goals of class Examples.BinarySearchTree: 1 CM, 36 Mut[Mut], 1 NonMut. Oct 02, 2014 7:46:50 PM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG generateSuite INFO: Suite for Examples.BinarySearchTree is generated, size=13900 ** Performed ADT testing Testing scope:CUT = Examples.BinarySearchTree Including non-private members Constructors: 1 Examples.BinarySearchTree public Creator methods: 0 Mutators: 6 makeEmpty public findMax public findMin public remove public find public insert public Non-mutators: 1 isEmpty public Fields: 0 Oct 02, 2014 7:46:50 PM Sequenic.T3.T3SuiteGenAPI suite INFO: ** Skipping oracles-injection ----- ** Suite generated. ** Suite name : ADT_Examples.BinarySearchTree ** CUT : Examples.BinarySearchTree ** Suite size : 13900 ** Avrg. seq. length : 5.0752516 Oct 02, 2014 7:46:52 PM Sequenic.T3.Sequence.Datatype.SUITE save INFO: ** Saving a test-suite to /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr, 5552 KB ** Runtime = 8482 ** Suite name : ADT_Examples.BinarySearchTree ** CUT : Examples.BinarySearchTree ** Suite size : 13900 ** Avrg. seq. length : 5.0752516 ** Executed : 13900 ** Violating : 0 ** Invalid : 0 ** Failing : 0 ** Runtime : 971 ms ** Field-pairs' abstract values coverage : 0/0 (100%) ** Constructor coverage : 1/1 (100.0%) ** Creator-method coverage : 0/0 (100%) ** Method coverage : 7/7 (100.0%) ** Field coverage : 0/0 (100%) ** Method-pair coverage : 49/56 (87.5%) ** Member-pair coverage : 49/56 (87.5%) ** Uncovered constructors: - ** Uncovered creator methods: - ** Uncovered methods: - ** Uncovered fields: - ----- Oct 02, 2014 7:46:53 PM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG calculateGoals INFO: Constructing Non-ADT goals of class Examples.BinarySearchTree: 0 CM, 0 Mut[Mut], 0 NonMut. Oct 02, 2014 7:46:53 PM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG generateSuite INFO: Suite for Examples.BinarySearchTree is generated, size=0 ** Performed non-ADT testing Testing scope:CUT = Examples.BinarySearchTree Including non-private members Constructors: 0 Creator methods: 0 Mutators: 0 Non-mutators: 0 Fields: 0 Oct 02, 2014 7:46:53 PM Sequenic.T3.T3SuiteGenAPI suite INFO: ** Skipping oracles-injection ----- ** Suite generated. ** Suite name : nonADT_Examples.BinarySearchTree ** CUT : Examples.BinarySearchTree ** Suite size : 0 Oct 02, 2014 7:46:53 PM Sequenic.T3.Sequence.Datatype.SUITE save INFO: ** Saving a test-suite to /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/nonADT_Examples.BinarySearchTree__1412279213622.tr, 0 KB ** Runtime = 10 ** Suite name : nonADT_Examples.BinarySearchTree ** CUT : Examples.BinarySearchTree ** Suite size : 0 ** Constructor coverage : 0/0 (100%) ** Creator-method coverage : 0/0 (100%) ** Method coverage : 0/0 (100%) ** Field coverage : 0/0 (100%) ** Method-pair coverage : 0/0 (100%) ** Member-pair coverage : 0/0 (100%) ** Uncovered constructors: - ** Uncovered creator methods: - ** Uncovered methods: - ** Uncovered fields: - Oct 02, 2014 7:46:53 PM Sequenic.T3.T3Cmd runT3 INFO: >> T3 runtime = 9762ms .Oct 02, 2014 7:46:53 PM Sequenic.T3.Reflection.ClassesScanner scan INFO: ** Scanning classes in /home/ubuntu/workshop/T2benchmark/build/CUTclasses Oct 02, 2014 7:46:53 PM 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 Examples.BinarySearchTree 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 : false Max. collection size : 3 Max. level of object nesting : 4 Max. prefix length : 4 Max. suffix length : 1 Variable length prefix : true Field-update probablity as a step : 0.0 Suite size multiplier for each goal : 200.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 02, 2014 7:46:53 PM Sequenic.T3.T3SuiteGenAPI INFO: Using a custom value generator. ----- Oct 02, 2014 7:46:53 PM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG calculateGoals INFO: Constructing ADT goals of class Examples.BinarySearchTree: 1 CM, 36 Mut[Mut], 1 NonMut. Oct 02, 2014 7:46:57 PM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG generateSuite INFO: Suite for Examples.BinarySearchTree is generated, size=13900 ** Performed ADT testing Testing scope:CUT = Examples.BinarySearchTree Including non-private members Constructors: 1 Examples.BinarySearchTree public Creator methods: 0 Mutators: 6 makeEmpty public findMax public findMin public remove public find public insert public Non-mutators: 1 isEmpty public Fields: 0 Oct 02, 2014 7:46:57 PM Sequenic.T3.T3SuiteGenAPI suite INFO: ** Skipping oracles-injection ----- ** Suite generated. ** Suite name : ADT_Examples.BinarySearchTree ** CUT : Examples.BinarySearchTree ** Suite size : 13900 ** Avrg. seq. length : 5.408489 Oct 02, 2014 7:46:58 PM Sequenic.T3.Sequence.Datatype.SUITE save INFO: ** Saving a test-suite to /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr, 5837 KB ** Runtime = 4425 ** Suite name : ADT_Examples.BinarySearchTree ** CUT : Examples.BinarySearchTree ** Suite size : 13900 ** Avrg. seq. length : 5.408489 ** Executed : 13900 ** Violating : 0 ** Invalid : 0 ** Failing : 0 ** Runtime : 788 ms ** Field-pairs' abstract values coverage : 0/0 (100%) ** Constructor coverage : 1/1 (100.0%) ** Creator-method coverage : 0/0 (100%) ** Method coverage : 7/7 (100.0%) ** Field coverage : 0/0 (100%) ** Method-pair coverage : 49/56 (87.5%) ** Member-pair coverage : 49/56 (87.5%) ** Uncovered constructors: - ** Uncovered creator methods: - ** Uncovered methods: - ** Uncovered fields: - ----- Oct 02, 2014 7:46:58 PM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG calculateGoals INFO: Constructing Non-ADT goals of class Examples.BinarySearchTree: 0 CM, 0 Mut[Mut], 0 NonMut. Oct 02, 2014 7:46:58 PM Sequenic.T3.Generator.SeqAndSuite.T3SuiteG generateSuite INFO: Suite for Examples.BinarySearchTree is generated, size=0 ** Performed non-ADT testing Testing scope:CUT = Examples.BinarySearchTree Including non-private members Constructors: 0 Creator methods: 0 Mutators: 0 Non-mutators: 0 Fields: 0 Oct 02, 2014 7:46:58 PM Sequenic.T3.T3SuiteGenAPI suite INFO: ** Skipping oracles-injection ----- ** Suite generated. ** Suite name : nonADT_Examples.BinarySearchTree ** CUT : Examples.BinarySearchTree ** Suite size : 0 Oct 02, 2014 7:46:58 PM Sequenic.T3.Sequence.Datatype.SUITE save INFO: ** Saving a test-suite to /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/nonADT_Examples.BinarySearchTree__1412279218946.tr, 0 KB ** Runtime = 16 ** Suite name : nonADT_Examples.BinarySearchTree ** CUT : Examples.BinarySearchTree ** Suite size : 0 ** Constructor coverage : 0/0 (100%) ** Creator-method coverage : 0/0 (100%) ** Method coverage : 0/0 (100%) ** Field coverage : 0/0 (100%) ** Method-pair coverage : 0/0 (100%) ** Member-pair coverage : 0/0 (100%) ** Uncovered constructors: - ** Uncovered creator methods: - ** Uncovered methods: - ** Uncovered fields: - Oct 02, 2014 7:46:58 PM Sequenic.T3.T3Cmd runT3 INFO: >> T3 runtime = 5318ms Time: 15.1 OK (2 tests) cp: cannot stat ‘/home/ubuntu/workshop/T2benchmark/testingtools/t3custom/tests/Examples/AdditionalTestBinarySearchTree.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/Examples/ReplayTestBinarySearchTree.java Note: /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/./temp/testcases/Examples/ReplayTestBinarySearchTree.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. Compiled 'Examples/ReplayTestBinarySearchTree.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/SBSTDummyForCoverageAndMutationCalculation.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 Examples.ReplayTestBinarySearchTree Executed 'Examples.ReplayTestBinarySearchTree' JUnit version 4.10 .Oct 02, 2014 7:47:05 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB Oct 02, 2014 7:47:06 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB *** Reading 2 suites ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... valid ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... valid Time: 51.034 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 SBSTDummyForCoverageAndMutationCalculation JUnit version 4.10 . Time: 0.007 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 Examples.ReplayTestBinarySearchTree **** 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, Examples.ReplayTestBinarySearchTree] JUnit version 4.10 .Oct 02, 2014 7:47:57 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB Oct 02, 2014 7:47:58 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB *** Reading 2 suites ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... valid ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... valid Time: 59.534 OK (1 test) Executed 'Examples.ReplayTestBinarySearchTree' === 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.014 OK (1 test) ---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 Examples.BinarySearchTree,Examples.BinarySearchTree$* --targetTests Examples.ReplayTestBinarySearchTree,SBSTDummyForCoverageAndMutationCalculation --timestampedReports false --verbose --sourceDir /home/ubuntu/workshop/T2benchmark/src Executed 'Examples.ReplayTestBinarySearchTree' 7:48:55 PM PIT >> FINE : Running report with ReportOptions [config=org.pitest.mutationtest.config.CompoundConfiguration@5d11346a, targetClasses=[^Examples\.BinarySearchTree$, ^Examples\.BinarySearchTree\$.*$], 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=[^Examples\.ReplayTestBinarySearchTree$, ^SBSTDummyForCoverageAndMutationCalculation$], 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] 7:48:55 PM 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 7:48:55 PM PIT >> FINE : Maximum available memory is 241 mb 7:48:55 PM PIT >> FINE : using port 8092 7:48:55 PM PIT >> FINE : SLAVE : Installing PIT agent 7:48:55 PM PIT >> INFO : Sending 3 test classes to slave 7:48:55 PM PIT >> INFO : Sent tests to slave 7:48:56 PM PIT >> INFO : SLAVE : 7:48:56 PM PIT >> FINE : Expecting 3 tests classes from parent 7:48:56 PM PIT >> FINE : Tests classes received 7:48:56 PM PIT >> INFO : SLAVE : 7:48:56 PM PIT >> INFO : Found 3 tests 7:48:56 PM PIT >> INFO : SLAVE : 7:48:56 PM PIT >> INFO : Dependency analysis reduced number of potential tests by 0 7:48:56 PM PIT >> INFO : SLAVE : 7:48:56 PM PIT >> INFO : 3 tests received 7:48:56 PM PIT >> INFO : SLAVE : 7:48:56 PM PIT >> FINE : Running 3 units 7:48:56 PM PIT >> INFO : SLAVE : 7:48:56 PM PIT >> FINE : Gathering coverage for test Description [testClass=Examples.ReplayTestBinarySearchTree, name=checkSpec(Examples.ReplayTestBinarySearchTree)] 7:48:59 PM PIT >> INFO : SLAVE : Oct 02, 2014 7:48:59 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB 7:48:59 PM PIT >> INFO : SLAVE : Oct 02, 2014 7:48:59 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB 7:48:59 PM PIT >> INFO : SLAVE : *** Reading 2 suites 7:48:59 PM PIT >> INFO : SLAVE : 7:48:59 PM PIT >> INFO : SLAVE : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... 7:49:26 PM PIT >> INFO : SLAVE : valid 7:49:26 PM PIT >> INFO : SLAVE : 7:49:26 PM PIT >> INFO : SLAVE : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... 7:49:49 PM PIT >> INFO : SLAVE : valid 7:49:49 PM PIT >> INFO : SLAVE : 7:49:49 PM PIT >> INFO : SLAVE : 7:49:49 PM PIT >> FINE : Gathering coverage for test Description [testClass=Examples.ReplayTestBinarySearchTree, name=checkSpec(Examples.ReplayTestBinarySearchTree)] 7:49:50 PM PIT >> INFO : SLAVE : Oct 02, 2014 7:49:50 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB 7:49:50 PM PIT >> INFO : SLAVE : Oct 02, 2014 7:49:50 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB 7:49:50 PM PIT >> INFO : SLAVE : *** Reading 2 suites 7:49:50 PM PIT >> INFO : SLAVE : 7:49:50 PM PIT >> INFO : SLAVE : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... 7:50:12 PM PIT >> INFO : SLAVE : valid 7:50:12 PM PIT >> INFO : SLAVE : 7:50:12 PM PIT >> INFO : SLAVE : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... 7:50:35 PM PIT >> INFO : SLAVE : valid 7:50:35 PM PIT >> INFO : SLAVE : 7:50:35 PM PIT >> INFO : SLAVE : 7:50:35 PM PIT >> FINE : Gathering coverage for test Description [testClass=SBSTDummyForCoverageAndMutationCalculation, name=test(SBSTDummyForCoverageAndMutationCalculation)] 7:50:35 PM PIT >> INFO : SLAVE : 7:50:35 PM PIT >> FINE : Finished 7:50:35 PM PIT >> INFO : Calculated coverage in 99 seconds. 7:50:35 PM PIT >> FINE : Used memory after coverage calculation 5 mb 7:50:35 PM PIT >> FINE : Free Memory after coverage calculation 10 mb 7:50:35 PM PIT >> INFO : Created 1 mutation test units 7:50:35 PM PIT >> FINE : Used memory before analysis start 5 mb 7:50:35 PM PIT >> FINE : Free Memory before analysis start 9 mb 7:50:35 PM PIT >> FINE : Running 1 units 7:50:35 PM PIT >> FINE : using port 8092 stdout : Installing PIT agent stderr : 7:50:36 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pistderr : test.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=BinarySearchTree.java, block=24, lineNumber=135, description=mutated return of Object value for Examples/BinarySearchTree::insert to ( if (x != null) null else throw new RuntimeExceptionstderr : ), testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:50:36 PM PIT >> FINE : mutating method insert stderr : 7:50:36 PM PIT >> FINE : 1 relevant test for insert stderr : 7:50:36 PM PIT >> FINE : replaced class with mutant in 5 ms stderr : 7:50:36 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:50:39 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:50:40 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:50:40 PM PIT >> FINE : Finished 7:50:40 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:50:40 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.grestderr : gor.mutators.ReturnValsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:50:40 PM PIT >> FINE : processed mutation in 4460 ms. stderr : 7:50:40 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitestderr : st.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=BinarySearchTree.java, block=47, lineNumber=214, description=mutated return of Object value for Examples/BinarySearchTree::find to ( if (x != null) null else throw new RuntimeException ), stderr : testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:50:40 PM PIT >> FINE : mutating method find stderr : 7:50:40 PM PIT >> FINE : 1 relevant test for find stderr : 7:50:40 PM PIT >> FINE : replaced class with mutant in 22 ms 7:50:40 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:50:41 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:50:42 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... 7:50:42 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:50:42 PM PIT >> FINE : Finished 7:50:42 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=orstderr : g.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:50:42 PM PIT >> FINE : processed mutation in 1471 ms. 7:50:42 PM PIT >> FINE : Runningstderr : mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.stderr : mutators.ConditionalsBoundaryMutator], filename=BinarySearchTree.java, block=27, lineNumber=164, description=changed conditional boundary, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:50:42 PM PIT >> FINE : mutating method remove stderr : 7:50:42 PM PIT >> FINE : 1 relevant test for remove stderr : 7:50:42 PM PIT >> FINE : replaced class with mutant in 18 ms 7:50:42 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:50:42 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:50:43 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : not valid!stderr : stderr : 7:51:12 PM PIT >> FINE : Finished 7:51:12 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:51:12 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.grestderr : gor.mutators.ConditionalsBoundaryMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:51:12 PM PIT >> FINE : processed mutation in 30319 ms. stderr : 7:51:12 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pistderr : test.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator], filename=BinarySearchTree.java, block=29, lineNumber=166, description=changed conditional boundary, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarystderr : SearchTree)]] stderr : 7:51:12 PM PIT >> FINE : mutating method remove stderr : 7:51:12 PM PIT >> FINE : 1 relevant test for remove stderr : 7:51:12 PM PIT >> FINE : replaced class with mutant in 14 ms 7:51:12 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:51:13 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:51:13 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : not valid!stderr : stderr : 7:51:36 PM PIT >> FINE : Finished 7:51:36 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:51:36 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.grestderr : gor.mutators.ConditionalsBoundaryMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:51:36 PM PIT >> FINE : processed mutation in 24040 ms. stderr : 7:51:36 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pistderr : test.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=25, lineNumber=160, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)stderr : ]] stderr : 7:51:36 PM PIT >> FINE : mutating method remove stderr : 7:51:36 PM PIT >> FINE : 1 relevant test for remove stderr : 7:51:36 PM PIT >> FINE : replaced class with mutant in 17 ms 7:51:36 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:51:37 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:51:37 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... 7:51:39 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:51:39 PM PIT >> FINE : Finished 7:51:39 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=stderr : org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:51:39 PM PIT >> FINE : processed mutation in 2930 ms. 7:51:39 PM PIT >> FINEstderr : : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engistderr : ne.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=27, lineNumber=164, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:51:39 PM PIT >> FINE : mutating method remove stderr : 7:51:39 PM PIT >> FINE : 1 relevant test for remove stderr : 7:51:39 PM PIT >> FINE : replaced class with mutant in 13 ms 7:51:39 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:51:40 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:51:40 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : not valid!stderr : stderr : 7:52:03 PM PIT >> FINE : Finished 7:52:03 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=stderr : org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:52:03 PM PIT >> FINE : processed mutation in 23564 ms. 7:52:03 PM PIT >> FINstderr : E : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=org.pitest.mutationtest.engstderr : ine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=29, lineNumber=166, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:52:03 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:52:03 PM PIT >> FINE : mutating method remove stderr : 7:52:03 PM PIT >> FINE : 1 relevant test for remove stderr : 7:52:03 PM PIT >> FINE : replaced class with mutant in 24 ms 7:52:03 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:52:03 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:52:04 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : not valid!stderr : stderr : 7:52:23 PM PIT >> FINE : Finished 7:52:23 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=stderr : org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:52:23 PM PIT >> FINE : processed mutation in 19965 ms. 7:52:23 PM PIT >> FINstderr : E : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=elementAt, methodDesc=(LExamples/BinaryNode;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutatorstderr : s.NegateConditionalsMutator], filename=BinarySearchTree.java, block=16, lineNumber=118, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:52:23 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:52:23 PM PIT >> FINE : mutating method elementAt stderr : 7:52:23 PM PIT >> FINE : 1 relevant test for elementAt stderr : 7:52:23 PM PIT >> FINE : replaced class with mutant in 14 ms 7:52:23 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:52:23 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:52:24 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:52:24 PM PIT >> FINE : Finished stderr : 7:52:24 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=elementAt, methodDesc=(LExamples/BinaryNode;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.Negatstderr : eConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:52:24 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=elementAt, methodDesc=(LExamples/BinaryNode;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:52:24 PM PIT >> FINE : processed mutation in 965 ms. stderr : 7:52:24 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=org.pitest.mutationtest.engstderr : ine.gregor.mutators.ReturnValsMutator], filename=BinarySearchTree.java, block=41, lineNumber=189, description=mutated return of Object value for Examples/BinarySearchTree::findMin to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Exstderr : amples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:52:24 PM PIT >> FINE : mutating method findMin stderr : 7:52:24 PM PIT >> FINE : 1 relevant test for findMin stderr : 7:52:24 PM PIT >> FINE : replaced class with mutant in 18 ms 7:52:24 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:52:24 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:52:25 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:52:43 PM PIT >> FINE : Finished 7:52:43 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=org.pitest.mutationtestderr : st.engine.gregor.mutators.ReturnValsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:52:43 PM PIT >> FINE : processed mutation in 19597 ms. 7:52:43 PM PIT >> FINE : Running mutation Mutationstderr : Details [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=()Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=BinarySearchTree.javastderr : , block=8, lineNumber=70, description=mutated return of Object value for Examples/BinarySearchTree::findMax to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySeastderr : rchTree)]] 7:52:43 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:52:43 PM PIT >> FINE : mutating method findMax stderr : 7:52:43 PM PIT >> FINE : 1 relevant test for findMax stderr : 7:52:43 PM PIT >> FINE : replaced class with mutant in 16 ms 7:52:43 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:52:44 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:52:44 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:52:44 PM PIT >> FINE : Finished 7:52:44 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=()Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:52:44 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=()Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] detected stderr : = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:52:44 PM PIT >> FINE : processed mutation in 955 ms. stderr : 7:52:44 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engistderr : ne.gregor.mutators.ReturnValsMutator], filename=BinarySearchTree.java, block=11, lineNumber=82, description=mutated return of Object value for Examples/BinarySearchTree::find to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Examplestderr : s.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:52:44 PM PIT >> FINE : mutating method find stderr : 7:52:44 PM PIT >> FINE : 1 relevant test for find stderr : 7:52:44 PM PIT >> FINE : replaced class with mutant in 14 ms 7:52:44 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:52:45 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:52:45 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:52:45 PM PIT >> FINE : Finished 7:52:45 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtesstderr : t.engine.gregor.mutators.ReturnValsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:52:45 PM PIT >> FINE : processed mutation in 947 ms. 7:52:45 PM PIT >> FINE : Running mutation MutationDetstderr : ails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=Binastderr : rySearchTree.java, block=40, lineNumber=187, description=mutated return of Object value for Examples/BinarySearchTree::findMin to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.stderr : ReplayTestBinarySearchTree)]] 7:52:45 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:52:45 PM PIT >> FINE : mutating method findMin stderr : 7:52:45 PM PIT >> FINE : 1 relevant test for findMin stderr : 7:52:45 PM PIT >> FINE : replaced class with mutant in 27 ms 7:52:45 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:52:46 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:52:46 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:52:48 PM PIT >> FINE : Finished stderr : 7:52:48 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnVastderr : lsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:52:48 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:52:48 PM PIT >> FINE : processed mutation in 3063 ms. stderr : 7:52:48 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engstderr : ine.gregor.mutators.ReturnValsMutator], filename=BinarySearchTree.java, block=38, lineNumber=185, description=mutated return of Object value for Examples/BinarySearchTree::findMin to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Exstderr : amples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:52:48 PM PIT >> FINE : mutating method findMin stderr : 7:52:48 PM PIT >> FINE : 1 relevant test for findMin stderr : 7:52:48 PM PIT >> FINE : replaced class with mutant in 24 ms 7:52:48 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:52:49 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:52:49 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:52:49 PM PIT >> FINE : Finished 7:52:49 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtestderr : st.engine.gregor.mutators.ReturnValsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:52:49 PM PIT >> FINE : processed mutation in 921 ms. 7:52:49 PM PIT >> FINE : Running mutation MutationDestderr : tails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filenstderr : ame=BinarySearchTree.java, block=9, lineNumber=81, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:52:49 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:52:49 PM PIT >> FINE : mutating method find stderr : 7:52:49 PM PIT >> FINE : 1 relevant test for find stderr : 7:52:49 PM PIT >> FINE : replaced class with mutant in 25 ms 7:52:49 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:52:50 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:52:50 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:52:50 PM PIT >> FINE : Finished 7:52:50 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtesstderr : t.engine.gregor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:52:50 PM PIT >> FINE : processed mutation in 946 ms. 7:52:50 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:52:50 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[3], mutator=org.pistderr : test.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=31, lineNumber=168, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)stderr : ]] stderr : 7:52:50 PM PIT >> FINE : mutating method remove stderr : 7:52:50 PM PIT >> FINE : 1 relevant test for remove stderr : 7:52:50 PM PIT >> FINE : replaced class with mutant in 30 ms 7:52:50 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:52:51 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:52:51 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : validstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : validstderr : stderr : 7:53:30 PM PIT >> FINE : Finished 7:53:30 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[3], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] SURVIVED stderr : 7:53:30 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[3], mutator=org.pitest.mutationtest.engine.grestderr : gor.mutators.NegateConditionalsMutator] detected = SURVIVED stderr : 7:53:30 PM PIT >> FINE : processed mutation in 40079 ms. stderr : 7:53:30 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[4], mutator=org.pistderr : test.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=32, lineNumber=168, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)stderr : ]] stderr : 7:53:30 PM PIT >> FINE : mutating method remove stderr : 7:53:30 PM PIT >> FINE : 1 relevant test for remove stderr : 7:53:30 PM PIT >> FINE : replaced class with mutant in 22 ms 7:53:30 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:53:31 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:53:31 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : not valid!stderr : stderr : 7:53:50 PM PIT >> FINE : Finished 7:53:50 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[4], mutator=stderr : org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:53:50 PM PIT >> FINE : processed mutation in 19857 ms. 7:53:50 PM PIT >> FINstderr : E : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engstderr : ine.gregor.mutators.ConditionalsBoundaryMutator], filename=BinarySearchTree.java, block=23, lineNumber=132, description=changed conditional boundary, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:53:50 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[4], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:53:50 PM PIT >> FINE : mutating method insert stderr : 7:53:50 PM PIT >> FINE : 1 relevant test for insert stderr : 7:53:50 PM PIT >> FINE : replaced class with mutant in 15 ms 7:53:50 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:53:50 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:53:51 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : not valid!stderr : stderr : 7:54:09 PM PIT >> FINE : Finished 7:54:09 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=stderr : org.pitest.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:54:09 PM PIT >> FINE : processed mutation in 19331 ms. 7:54:09 PM PIT >> Fstderr : INE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[5], mutator=org.pitest.mutationtest.estderr : ngine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=34, lineNumber=173, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:54:09 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:54:09 PM PIT >> FINE : mutating method remove stderr : 7:54:09 PM PIT >> FINE : 1 relevant test for remove stderr : 7:54:09 PM PIT >> FINE : replaced class with mutant in 28 ms 7:54:09 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:54:10 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:54:10 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : validstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : validstderr : stderr : 7:54:48 PM PIT >> FINE : Finished stderr : 7:54:48 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[5], mutator=org.pitest.mutationtest.engine.grestderr : gor.mutators.NegateConditionalsMutator] detected = SURVIVED 7:54:48 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[5], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] SURVIVED stderr : 7:54:48 PM PIT >> FINE : processed mutation in 39152 ms. stderr : 7:54:48 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pistderr : test.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator], filename=BinarySearchTree.java, block=21, lineNumber=130, description=changed conditional boundary, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarystderr : SearchTree)]] stderr : 7:54:48 PM PIT >> FINE : mutating method insert stderr : 7:54:48 PM PIT >> FINE : 1 relevant test for insert stderr : 7:54:48 PM PIT >> FINE : replaced class with mutant in 17 ms 7:54:48 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:54:49 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:54:49 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : not valid!stderr : 7:55:08 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:08 PM PIT >> FINE : Finished 7:55:08 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=stderr : org.pitest.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:08 PM PIT >> FINE : processed mutation in 19269 ms. stderr : 7:55:08 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[3], mutator=org.pitestderr : st.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=BinarySearchTree.java, block=52, lineNumber=221, description=mutated return of Object value for Examples/BinarySearchTree::find to ( if (x != null) null else throw new RuntimeException ), stderr : testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:55:08 PM PIT >> FINE : mutating method find stderr : 7:55:08 PM PIT >> FINE : 1 relevant test for find stderr : 7:55:08 PM PIT >> FINE : replaced class with mutant in 19 ms 7:55:08 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:08 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:09 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:55:09 PM PIT >> FINE : Finished stderr : 7:55:09 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[3], mutator=org.pitest.mutationtest.engine.gregostderr : r.mutators.ReturnValsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:09 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[3], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:09 PM PIT >> FINE : processed mutation in 970 ms. stderr : 7:55:09 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitestderr : st.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=BinarySearchTree.java, block=49, lineNumber=217, description=mutated return of Object value for Examples/BinarySearchTree::find to ( if (x != null) null else throw new RuntimeException ), stderr : testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:55:09 PM PIT >> FINE : mutating method find stderr : 7:55:09 PM PIT >> FINE : 1 relevant test for find stderr : 7:55:09 PM PIT >> FINE : replaced class with mutant in 16 ms 7:55:09 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:09 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:10 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:55:10 PM PIT >> FINE : Finished 7:55:10 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=orstderr : g.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:10 PM PIT >> FINE : processed mutation in 1575 ms. 7:55:10 PM PIT >> FINE : Runningstderr : mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=org.pitest.mutationtest.engine.gregor.mustderr : tators.ReturnValsMutator], filename=BinarySearchTree.java, block=51, lineNumber=219, description=mutated return of Object value for Examples/BinarySearchTree::find to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Examples.ReplayTesstderr : tBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:55:10 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:10 PM PIT >> FINE : mutating method find stderr : 7:55:10 PM PIT >> FINE : 1 relevant test for find stderr : 7:55:10 PM PIT >> FINE : replaced class with mutant in 17 ms 7:55:10 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:11 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:11 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:55:12 PM PIT >> FINE : Finished 7:55:12 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=orstderr : g.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:12 PM PIT >> FINE : processed mutation in 1254 ms. 7:55:12 PM PIT >> FINE : Runningstderr : mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mustderr : tators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=48, lineNumber=216, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:55:12 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:12 PM PIT >> FINE : mutating method find stderr : 7:55:12 PM PIT >> FINE : 1 relevant test for find stderr : 7:55:12 PM PIT >> FINE : replaced class with mutant in 22 ms 7:55:12 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:12 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:12 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:55:12 PM PIT >> FINE : Finished stderr : 7:55:12 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregostderr : r.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:12 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:12 PM PIT >> FINE : processed mutation in 925 ms. stderr : 7:55:12 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=org.pistderr : test.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=23, lineNumber=132, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)stderr : ]] stderr : 7:55:12 PM PIT >> FINE : mutating method insert stderr : 7:55:12 PM PIT >> FINE : 1 relevant test for insert stderr : 7:55:12 PM PIT >> FINE : replaced class with mutant in 16 ms 7:55:12 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:13 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:13 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:55:14 PM PIT >> FINE : Finished 7:55:14 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=stderr : org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:14 PM PIT >> FINE : processed mutation in 1567 ms. 7:55:14 PM PIT >> FINEstderr : : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.enginestderr : .gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=46, lineNumber=213, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:55:14 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:14 PM PIT >> FINE : mutating method find stderr : 7:55:14 PM PIT >> FINE : 1 relevant test for find stderr : 7:55:14 PM PIT >> FINE : replaced class with mutant in 28 ms 7:55:14 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:14 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:15 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:55:15 PM PIT >> FINE : Finished 7:55:15 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=orstderr : g.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:15 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:15 PM PIT >> FINE : processed mutation in 942 ms. stderr : 7:55:15 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitestderr : st.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator], filename=BinarySearchTree.java, block=50, lineNumber=218, description=changed conditional boundary, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySestderr : archTree)]] stderr : 7:55:15 PM PIT >> FINE : mutating method find stderr : 7:55:15 PM PIT >> FINE : 1 relevant test for find stderr : 7:55:15 PM PIT >> FINE : replaced class with mutant in 15 ms 7:55:15 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:15 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:16 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:55:16 PM PIT >> FINE : Finished 7:55:16 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=orstderr : g.pitest.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:16 PM PIT >> FINE : processed mutation in 930 ms. 7:55:16 PM PIT >> FINE stderr : : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.stderr : gregor.mutators.ConditionalsBoundaryMutator], filename=BinarySearchTree.java, block=48, lineNumber=216, description=changed conditional boundary, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:55:16 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:16 PM PIT >> FINE : mutating method find stderr : 7:55:16 PM PIT >> FINE : 1 relevant test for find stderr : 7:55:16 PM PIT >> FINE : replaced class with mutant in 15 ms 7:55:16 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:16 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:17 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:55:17 PM PIT >> FINE : Finished stderr : 7:55:17 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregostderr : r.mutators.ConditionalsBoundaryMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:17 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:17 PM PIT >> FINE : processed mutation in 921 ms. stderr : 7:55:17 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pistderr : test.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=19, lineNumber=128, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)stderr : ]] stderr : 7:55:17 PM PIT >> FINE : mutating method insert stderr : 7:55:17 PM PIT >> FINE : 1 relevant test for insert stderr : 7:55:17 PM PIT >> FINE : replaced class with mutant in 36 ms 7:55:17 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:17 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:18 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:55:18 PM PIT >> FINE : Finished 7:55:18 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=stderr : org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:18 PM PIT >> FINE : processed mutation in 1070 ms. 7:55:18 PM PIT >> FINEstderr : : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=org.pitest.mutationtest.enginestderr : .gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=50, lineNumber=218, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:55:18 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:18 PM PIT >> FINE : mutating method find stderr : 7:55:18 PM PIT >> FINE : 1 relevant test for find stderr : 7:55:18 PM PIT >> FINE : replaced class with mutant in 23 ms 7:55:18 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:19 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:19 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:55:19 PM PIT >> FINE : Finished 7:55:19 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=orstderr : g.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:19 PM PIT >> FINE : processed mutation in 1211 ms. 7:55:19 PM PIT >> FINE :stderr : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.enginestderr : .gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=21, lineNumber=130, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:55:19 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=find, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[2], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:19 PM PIT >> FINE : mutating method insert stderr : 7:55:19 PM PIT >> FINE : 1 relevant test for insert stderr : 7:55:19 PM PIT >> FINE : replaced class with mutant in 17 ms 7:55:19 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:20 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:20 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:55:21 PM PIT >> FINE : Finished stderr : 7:55:21 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.grestderr : gor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:21 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:21 PM PIT >> FINE : processed mutation in 1536 ms. stderr : 7:55:21 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pistderr : test.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=BinarySearchTree.java, block=36, lineNumber=175, description=mutated return of Object value for Examples/BinarySearchTree::remove to ( if (x != null) null else throw new RuntimeExceptionstderr : ), testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:55:21 PM PIT >> FINE : mutating method remove stderr : 7:55:21 PM PIT >> FINE : 1 relevant test for remove stderr : 7:55:21 PM PIT >> FINE : replaced class with mutant in 21 ms 7:55:21 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:21 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:22 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : not valid!stderr : stderr : 7:55:40 PM PIT >> FINE : Finished 7:55:40 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=stderr : org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:55:40 PM PIT >> FINE : processed mutation in 19430 ms. 7:55:40 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:55:40 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pistderr : test.mutationtest.engine.gregor.mutators.ReturnValsMutator], filename=BinarySearchTree.java, block=26, lineNumber=161, description=mutated return of Object value for Examples/BinarySearchTree::remove to ( if (x != null) null else throw new RuntimeExceptionstderr : ), testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:55:40 PM PIT >> FINE : mutating method remove stderr : 7:55:40 PM PIT >> FINE : 1 relevant test for remove stderr : 7:55:40 PM PIT >> FINE : replaced class with mutant in 25 ms 7:55:40 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:55:41 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:55:41 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : validstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : validstderr : stderr : 7:56:20 PM PIT >> FINE : Finished 7:56:20 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] SURVIVED stderr : 7:56:20 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.grestderr : gor.mutators.ReturnValsMutator] detected = SURVIVED stderr : 7:56:20 PM PIT >> FINE : processed mutation in 40330 ms. stderr : 7:56:20 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=elementAt, methodDesc=(LExamples/BinaryNode;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.stderr : engine.gregor.mutators.ReturnValsMutator], filename=BinarySearchTree.java, block=18, lineNumber=118, description=mutated return of Object value for Examples/BinarySearchTree::elementAt to ( if (x != null) null else throw new RuntimeException ), testsInOrdestderr : r=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:56:20 PM PIT >> FINE : mutating method elementAt stderr : 7:56:20 PM PIT >> FINE : 1 relevant test for elementAt stderr : 7:56:20 PM PIT >> FINE : replaced class with mutant in 26 ms 7:56:20 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:56:21 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:56:21 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:56:21 PM PIT >> FINE : Finished 7:56:21 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=elementAt, methodDesc=(LExamples/BinaryNode;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:21 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=elementAt, methodDesc=(LExamples/BinaryNode;)Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.Returstderr : nValsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:21 PM PIT >> FINE : processed mutation in 914 ms. stderr : 7:56:21 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=()Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.stderr : ReturnValsMutator], filename=BinarySearchTree.java, block=7, lineNumber=61, description=mutated return of Object value for Examples/BinarySearchTree::findMin to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Examples.ReplayTestBinarstderr : ySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:56:21 PM PIT >> FINE : mutating method findMin stderr : 7:56:21 PM PIT >> FINE : 1 relevant test for findMin stderr : 7:56:21 PM PIT >> FINE : replaced class with mutant in 25 ms 7:56:21 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:56:22 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:56:22 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:56:22 PM PIT >> FINE : Finished 7:56:22 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=()Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:22 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=()Ljava/lang/Comparable;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] detected stderr : = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:22 PM PIT >> FINE : processed mutation in 919 ms. stderr : 7:56:22 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engstderr : ine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=39, lineNumber=186, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:56:22 PM PIT >> FINE : mutating method findMin stderr : 7:56:22 PM PIT >> FINE : 1 relevant test for findMin stderr : 7:56:22 PM PIT >> FINE : replaced class with mutant in 17 ms 7:56:22 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:56:23 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:56:23 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:56:25 PM PIT >> FINE : Finished 7:56:25 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtestderr : st.engine.gregor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:56:25 PM PIT >> FINE : processed mutation in 3030 ms. 7:56:25 PM PIT >> FINE : Running mutation Mstderr : utationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=isEmpty, methodDesc=()Z], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, blocstderr : k=13, lineNumber=98, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:56:25 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:25 PM PIT >> FINE : mutating method isEmpty stderr : 7:56:25 PM PIT >> FINE : 1 relevant test for isEmpty stderr : 7:56:25 PM PIT >> FINE : replaced class with mutant in 25 ms 7:56:25 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:56:26 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:56:26 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:56:28 PM PIT >> FINE : Finished 7:56:28 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=isEmpty, methodDesc=()Z], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionstderr : alsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:56:28 PM PIT >> FINE : processed mutation in 2439 ms. 7:56:28 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [lostderr : cation=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;)V], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=4, lineNumber=50, stderr : description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:56:28 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=isEmpty, methodDesc=()Z], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:28 PM PIT >> FINE : mutating method remove stderr : 7:56:28 PM PIT >> FINE : 1 relevant test for remove stderr : 7:56:28 PM PIT >> FINE : replaced class with mutant in 16 ms 7:56:28 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:56:28 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:56:29 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:56:30 PM PIT >> FINE : Finished 7:56:30 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;)V], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:30 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=remove, methodDesc=(Ljava/lang/Comparable;)V], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] dstderr : etected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:30 PM PIT >> FINE : processed mutation in 2409 ms. stderr : 7:56:30 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=isEmpty, methodDesc=()Z], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], fstderr : ilename=BinarySearchTree.java, block=15, lineNumber=98, description=replaced return of integer sized value with (x == 0 ? 1 : 0), testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:56:30 PM PIT >> FINE : mutating method isEmpty stderr : 7:56:30 PM PIT >> FINE : 1 relevant test for isEmpty stderr : 7:56:30 PM PIT >> FINE : replaced class with mutant in 16 ms 7:56:30 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:56:31 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:56:31 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:56:32 PM PIT >> FINE : Finished 7:56:32 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=isEmpty, methodDesc=()Z], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:32 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=isEmpty, methodDesc=()Z], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] detected = KILLED by Examples.stderr : ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:32 PM PIT >> FINE : processed mutation in 2381 ms. stderr : 7:56:32 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engstderr : ine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=37, lineNumber=184, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:56:32 PM PIT >> FINE : mutating method findMin stderr : 7:56:32 PM PIT >> FINE : 1 relevant test for findMin stderr : 7:56:33 PM PIT >> FINE : replaced class with mutant in 25 ms 7:56:33 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:56:33 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:56:33 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:56:33 PM PIT >> FINE : Finished 7:56:33 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtestderr : st.engine.gregor.mutators.NegateConditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:56:33 PM PIT >> FINE : processed mutation in 931 ms. 7:56:33 PM PIT >> FINE : Running mutation Mustderr : tationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator], filestderr : name=BinarySearchTree.java, block=45, lineNumber=203, description=mutated return of Object value for Examples/BinarySearchTree::findMax to ( if (x != null) null else throw new RuntimeException ), testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(stderr : Examples.ReplayTestBinarySearchTree)]] 7:56:33 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMin, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:33 PM PIT >> FINE : mutating method findMax stderr : 7:56:33 PM PIT >> FINE : 1 relevant test for findMax stderr : 7:56:33 PM PIT >> FINE : replaced class with mutant in 18 ms 7:56:33 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:56:34 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:56:34 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:56:34 PM PIT >> FINE : Finished 7:56:34 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtestderr : st.engine.gregor.mutators.ReturnValsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) 7:56:34 PM PIT >> FINE : processed mutation in 899 ms. 7:56:34 PM PIT >> FINE : Running mutation MutationDestderr : tails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator], filestderr : name=BinarySearchTree.java, block=43, lineNumber=199, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] 7:56:34 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.ReturnValsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:34 PM PIT >> FINE : mutating method findMax stderr : 7:56:34 PM PIT >> FINE : 1 relevant test for findMax stderr : 7:56:34 PM PIT >> FINE : replaced class with mutant in 17 ms 7:56:34 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:56:35 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:56:35 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:56:37 PM PIT >> FINE : Finished 7:56:37 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:37 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[1], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateCostderr : nditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:37 PM PIT >> FINE : processed mutation in 2536 ms. stderr : 7:56:37 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;)V], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.stderr : NegateConditionalsMutator], filename=BinarySearchTree.java, block=1, lineNumber=39, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:56:37 PM PIT >> FINE : mutating method insert stderr : 7:56:37 PM PIT >> FINE : 1 relevant test for insert stderr : 7:56:37 PM PIT >> FINE : replaced class with mutant in 17 ms 7:56:37 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:56:37 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:56:38 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:56:38 PM PIT >> FINE : Finished 7:56:38 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;)V], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:38 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=insert, methodDesc=(Ljava/lang/Comparable;)V], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] dstderr : etected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:38 PM PIT >> FINE : processed mutation in 891 ms. stderr : 7:56:38 PM PIT >> FINE : Running mutation MutationDetails [id=MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engstderr : ine.gregor.mutators.NegateConditionalsMutator], filename=BinarySearchTree.java, block=42, lineNumber=198, description=negated conditional, testsInOrder=[Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree)]] stderr : 7:56:38 PM PIT >> FINE : mutating method findMax stderr : 7:56:38 PM PIT >> FINE : 1 relevant test for findMax stderr : 7:56:38 PM PIT >> FINE : replaced class with mutant in 17 ms 7:56:38 PM PIT >> FINE : Running 1 units stderr : Oct 02, 2014 7:56:38 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279211512.tr is loaded, 55520 KB stderr : Oct 02, 2014 7:56:39 PM Sequenic.T3.Sequence.Datatype.SUITE load INFO: ** Suite /home/ubuntu/workshop/T2benchmark/testingtools/t3custom/temp/data/ADT_Examples.BinarySearchTree__1412279217784.tr is loaded, 58371 KB stderr : *** Reading 2 suitesstderr : stderr : ** Check-specing ADT_Examples.BinarySearchTree (13900seqs ) ... stderr : 7:56:39 PM PIT >> FINE : Finished 7:56:39 PM PIT >> FINE : MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateConditionalsMutator] KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:39 PM PIT >> FINE : Mutation MutationIdentifier [location=Location [clazz=Examples.BinarySearchTree, method=findMax, methodDesc=(LExamples/BinaryNode;)LExamples/BinaryNode;], indexes=[0], mutator=org.pitest.mutationtest.engine.gregor.mutators.NegateCostderr : nditionalsMutator] detected = KILLED by Examples.ReplayTestBinarySearchTree.checkSpec(Examples.ReplayTestBinarySearchTree) stderr : 7:56:39 PM PIT >> FINE : processed mutation in 904 ms. 7:56:39 PM PIT >> FINE : Exit code was - OK 7:56:39 PM PIT >> FINE : Slave exited ok 7:56:39 PM PIT >> FINE : Finished 7:56:39 PM PIT >> INFO : Completed in 463 seconds ================================================================================ - Timings ================================================================================ > scan classpath : < 1 second > coverage and dependency analysis : 1 minutes and 39 seconds > build mutation tests : < 1 second > run mutation analysis : 6 minutes and 3 seconds -------------------------------------------------------------------------------- > Total : 7 minutes and 43 seconds -------------------------------------------------------------------------------- ================================================================================ - Statistics ================================================================================ >> Generated 43 mutations Killed 40 (93%) >> Ran 43 tests (1 tests per mutation) ================================================================================ - Mutators ================================================================================ > org.pitest.mutationtest.engine.gregor.mutators.ConditionalsBoundaryMutator >> Generated 6 Killed 6 (100%) > KILLED 6 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.ReturnValsMutator >> Generated 16 Killed 15 (94%) > KILLED 15 SURVIVED 1 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 21 Killed 19 (90%) > KILLED 19 SURVIVED 2 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 ----------- ------------------------------------------------------------------------------------------------------------------------ 15.40s 51.52s 100% (233/233) 100% (51/51) 100% (42/42) 100% (14/14) 93% (40/43) ConditionalBoundaryMutations: 6/6 NegateConditionalMutations: 19/21 MathMutations: 0/0 IncrementMutations: 0/0 InvertNegativeMutations: 0/0 ReturnValueMutations: 15/16 VoidMethodCallMutations: 0/0 Stopping runtool...