Console Output
Skipping 182 KB..
Full Log04:39:29.319 [pool-369-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:29.337 [pool-369-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:29.400 [pool-369-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:29.400 [pool-369-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
04:39:29.479 [pool-369-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
04:39:29.486 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:29.487 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:29.487 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:29.487 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 6
04:39:29.487 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 3
04:39:29.487 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:29.487 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:29.487 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:29.488 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:29.488 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:29.488 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2100ms
04:39:29.488 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:29.488 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:29.488 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:29.489 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:29.489 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:29.490 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
- if ( index == 0 ) // Fix index <= 0
- return s.charAt(0);
+ if ( index < 0) // Fix index <= 0
+ return s.charAt(0);
04:39:29.496 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:29.496 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:29.496 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:29.496 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:29.497 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@4f8bc2fa', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:29.497 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:29.497 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 136 MB
04:39:29.497 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:29.497 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 227 MB
04:39:29.497 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:29.498 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:29.498 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:31.165 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:31.165 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
04:39:31.235 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:31.387 [pool-411-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, a=2, b=-8, (b - a)=-10, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test9)
constraint: {0=0, a=4, b=-2, (b - a)=-6, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test4)
constraint: {0=0, a=-2, b=-4, (b - a)=-2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test6)
constraint: {0=0, a=4, b=2, (b - a)=-2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test2)
constraint: {0=0, a=-4, b=-2, (b - a)=2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test7)
constraint: {0=0, a=-2, b=4, (b - a)=6, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test5)
constraint: {0=0, a=2, b=4, (b - a)=2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test1)
04:39:31.389 [pool-411-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:31.400 [pool-411-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:31.467 [pool-411-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a)
04:39:31.467 [pool-411-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a)
04:39:31.560 [pool-411-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working
04:39:31.593 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:31.593 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:31.593 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:31.593 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 7
04:39:31.593 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 4
04:39:31.593 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:31.593 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:31.594 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:31.594 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:31.594 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
04:39:31.594 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2097ms
04:39:31.594 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:31.594 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:31.594 [main] INFO fr.inria.lille.repair.nopol.NoPol - 1 < (b - a)
04:39:31.594 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:31.594 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:31.597 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
public int getMax(int a, int b){
- if ( (b - a) < 0 ){ // Fix a < b
+ if ( 1 < (b - a)){ // Fix a < b
return b;
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_3]
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_3.NopolExampleTest]
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_3], projectClasspath='[Ljava.net.URL;@7dcec682', projectTests=[nopol_examples.nopol_example_3.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 156 MB
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 225 MB
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:31.602 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:33.095 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:33.096 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_3.NopolExample:11 which is executed by 9 tests
-126608641
04:39:33.125 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:33.293 [pool-462-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, a=-8, tmp != 0=true, tmp=-1}. outcome: false (test5)
constraint: {0=0, a=2, tmp != 0=true, tmp=1}. outcome: false (test4)
constraint: {0=0, a=0, tmp != 0=true, tmp=-1}. outcome: false (test9)
constraint: {0=0, a=50, tmp != 0=true, tmp=1}. outcome: false (test8)
constraint: {0=0, a=8, tmp != 0=true, tmp=1}. outcome: false (test7)
constraint: {0=0, a=-1, tmp != 0=false, tmp=0}. outcome: true (test3)
constraint: {0=0, a=5, tmp != 0=false, tmp=0}. outcome: true (test2)
constraint: {0=0, a=3, tmp != 0=false, tmp=0}. outcome: true (test1)
constraint: {0=0, a=65, tmp != 0=false, tmp=0}. outcome: true (test6)
04:39:33.295 [pool-462-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:33.305 [pool-462-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:33.343 [pool-462-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == tmp
04:39:33.343 [pool-462-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL 0 == tmp
04:39:33.401 [pool-462-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "0 == tmp" is working
04:39:33.418 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:33.419 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:33.419 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 3
04:39:33.419 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 8
04:39:33.419 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 5
04:39:33.419 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 9
04:39:33.420 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:33.420 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:33.420 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:33.420 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 12
04:39:33.421 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1816ms
04:39:33.421 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:33.421 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:33.421 [main] INFO fr.inria.lille.repair.nopol.NoPol - 0 == tmp
04:39:33.422 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:33.422 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL
04:39:33.423 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_3/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_3/NopolExample.java
@@ -10,3 +10,3 @@
- if ( tmp != 0 ){ // Fix : tmp == 0
+ if ( 0 == tmp){ // Fix : tmp == 0
return true;
04:39:33.428 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
04:39:33.429 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:33.429 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRECONDITION
04:39:33.429 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
04:39:33.429 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=PRECONDITION, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_5], projectClasspath='[Ljava.net.URL;@518990a6', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:33.430 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:33.430 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 69 MB
04:39:33.431 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:33.431 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 224 MB
04:39:33.431 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:33.431 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:33.431 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:35.061 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:35.061 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
04:39:35.103 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:35.103 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
04:39:35.137 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:35.285 [pool-519-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=-2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test4)
constraint: {a=-5, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test5)
constraint: {a=2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test1)
constraint: {a=10, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test2)
constraint: {a=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test6)
04:39:35.286 [pool-519-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:35.296 [pool-519-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:35.320 [pool-519-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
04:39:35.320 [pool-519-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
04:39:35.385 [pool-519-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
04:39:35.394 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:35.394 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:35.394 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:35.394 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 9
04:39:35.394 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 6
04:39:35.395 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:35.395 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:35.395 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:35.396 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:35.396 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:35.396 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1966ms
04:39:35.396 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:35.396 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:35.396 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
04:39:35.396 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:35.396 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
04:39:35.397 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
@@ -19,3 +19,5 @@
// FIX : precondition missing : if ( -1<a )
- r = -1;
+ if (-1 < a) {
+ r = -1;
+ }
return r*a;
04:39:35.402 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_6]
04:39:35.402 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:35.402 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:35.403 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_6.NopolExampleTest]
04:39:35.404 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_6], projectClasspath='[Ljava.net.URL;@549c8f50', projectTests=[nopol_examples.nopol_example_6.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:35.404 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:35.404 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 91 MB
04:39:35.404 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:35.405 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 225 MB
04:39:35.405 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:35.405 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:35.405 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:36.960 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:36.960 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_6.NopolExample:7 which is executed by 6 tests
-126608641
04:39:36.992 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:37.131 [pool-549-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=5, b=3, a > b=true}. outcome: false (test2)
constraint: {a=0, b=-3, a > b=true}. outcome: false (test6)
constraint: {a=4, b=0, a > b=true}. outcome: false (test3)
constraint: {a=3, b=5, a > b=false}. outcome: true (test1)
constraint: {a=0, b=4, a > b=false}. outcome: true (test4)
04:39:37.131 [pool-549-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:37.144 [pool-549-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:37.173 [pool-549-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: a < b
04:39:37.173 [pool-549-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_6.NopolExample:7: CONDITIONAL a < b
04:39:37.244 [pool-549-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "a < b" is working
04:39:37.251 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 10
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 7
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1849ms
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - a < b
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_6.NopolExample:7: CONDITIONAL
04:39:37.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_6/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_6/NopolExample.java
@@ -6,3 +6,3 @@
{
- if (a > b) { // FIX: if(a < b)
+ if (a < b) { // FIX: if(a < b)
return b - a;
04:39:37.265 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_7]
04:39:37.265 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:37.265 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:37.265 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_7.NopolExampleTest]
04:39:37.265 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_7], projectClasspath='[Ljava.net.URL;@73db8f00', projectTests=[nopol_examples.nopol_example_7.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:37.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:37.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 131 MB
04:39:37.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:37.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 227 MB
04:39:37.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:37.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:37.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:38.837 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:38.837 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:22 which is executed by 4 tests
-126608641
04:39:38.886 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:38.886 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:21 which is executed by 30 tests
-126608641
04:39:38.915 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:39.071 [pool-585-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, a=2, intermediaire=0, intermediaire == 0=true}. outcome: false (test1)
constraint: {0=0, a=29, intermediaire=1, intermediaire == 0=false}. outcome: false (test10)
constraint: {0=0, a=31, intermediaire=1, intermediaire == 0=false}. outcome: false (test11)
constraint: {0=0, a=37, intermediaire=1, intermediaire == 0=false}. outcome: false (test12)
constraint: {0=0, a=41, intermediaire=1, intermediaire == 0=false}. outcome: false (test13)
constraint: {0=0, a=43, intermediaire=1, intermediaire == 0=false}. outcome: false (test14)
constraint: {0=0, a=47, intermediaire=1, intermediaire == 0=false}. outcome: false (test15)
constraint: {0=0, a=53, intermediaire=1, intermediaire == 0=false}. outcome: false (test16)
constraint: {0=0, a=59, intermediaire=1, intermediaire == 0=false}. outcome: false (test17)
constraint: {0=0, a=61, intermediaire=1, intermediaire == 0=false}. outcome: false (test18)
constraint: {0=0, a=67, intermediaire=1, intermediaire == 0=false}. outcome: false (test19)
constraint: {0=0, a=71, intermediaire=1, intermediaire == 0=false}. outcome: false (test20)
constraint: {0=0, a=73, intermediaire=1, intermediaire == 0=false}. outcome: false (test21)
constraint: {0=0, a=79, intermediaire=1, intermediaire == 0=false}. outcome: false (test22)
constraint: {0=0, a=83, intermediaire=1, intermediaire == 0=false}. outcome: false (test23)
constraint: {0=0, a=89, intermediaire=1, intermediaire == 0=false}. outcome: false (test24)
constraint: {0=0, a=97, intermediaire=1, intermediaire == 0=false}. outcome: false (test25)
constraint: {0=0, a=4, intermediaire=0, intermediaire == 0=true}. outcome: true (test26)
constraint: {0=0, a=3, intermediaire=1, intermediaire == 0=false}. outcome: false (test2)
constraint: {0=0, a=5, intermediaire=1, intermediaire == 0=false}. outcome: false (test3)
constraint: {0=0, a=7, intermediaire=1, intermediaire == 0=false}. outcome: false (test4)
constraint: {0=0, a=11, intermediaire=1, intermediaire == 0=false}. outcome: false (test5)
constraint: {0=0, a=13, intermediaire=1, intermediaire == 0=false}. outcome: false (test6)
constraint: {0=0, a=17, intermediaire=1, intermediaire == 0=false}. outcome: false (test7)
constraint: {0=0, a=19, intermediaire=1, intermediaire == 0=false}. outcome: false (test8)
constraint: {0=0, a=23, intermediaire=1, intermediaire == 0=false}. outcome: false (test9)
04:39:39.072 [pool-585-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:39.083 [pool-585-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:39.186 [pool-585-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:39:39.358 [pool-585-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (intermediaire == 0) && (3 < a)
04:39:39.358 [pool-585-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL (intermediaire == 0) && (3 < a)
04:39:39.431 [pool-585-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(intermediaire == 0) && (3 < a)" is working
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 11
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 8
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 26
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 3
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [7] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2, ! of arity: 1, || of arity: 2, && of arity: 2]
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 7
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 9
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2182ms
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - (intermediaire == 0) && (3 < a)
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 30
04:39:39.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL
04:39:39.448 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_7/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_7/NopolExample.java
@@ -20,4 +20,4 @@
// FIX if ( intermediaire == 0 && a!=2)
- if ( intermediaire == 0 )
- return false;
+ if ( (intermediaire == 0) && (3 < a))
+ return false;
04:39:39.451 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_8]
04:39:39.451 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:39.451 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:39.451 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_8.NopolExampleTest]
04:39:39.451 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_8], projectClasspath='[Ljava.net.URL;@6e9e769e', projectTests=[nopol_examples.nopol_example_8.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:39.452 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:39.452 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 131 MB
04:39:39.452 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:39.452 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 228 MB
04:39:39.452 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:39.452 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:39.452 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:40.976 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:40.977 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:15 which is executed by 5 tests
-126608641
04:39:41.008 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:41.008 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:12 which is executed by 10 tests
-126608641
04:39:41.037 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:41.154 [pool-706-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=2.0, (a * b)=100.0, 100=100, b=50.0, (a * b) < 100=false}. outcome: true (test_2)
constraint: {a=8451.0, (a * b)=4.1384547E7, 100=100, b=4897.0, (a * b) < 100=false}. outcome: false (test_10)
constraint: {a=5.0, (a * b)=25.0, 100=100, b=5.0, (a * b) < 100=true}. outcome: true (test_1)
constraint: {a=50.0, (a * b)=50.0, 100=100, b=1.0, (a * b) < 100=true}. outcome: true (test_3)
constraint: {a=7.0, (a * b)=56.0, 100=100, b=8.0, (a * b) < 100=true}. outcome: true (test_4)
constraint: {a=9.0, (a * b)=81.0, 100=100, b=9.0, (a * b) < 100=true}. outcome: true (test_5)
constraint: {a=0.0, (a * b)=0.0, 100=100, b=1.0, (a * b) < 100=true}. outcome: true (test_6)
constraint: {a=5.0, (a * b)=250.0, 100=100, b=50.0, (a * b) < 100=false}. outcome: false (test_7)
constraint: {a=50.0, (a * b)=2500.0, 100=100, b=50.0, (a * b) < 100=false}. outcome: false (test_8)
constraint: {a=101.0, (a * b)=101.0, 100=100, b=1.0, (a * b) < 100=false}. outcome: false (test_9)
04:39:41.154 [pool-706-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:41.166 [pool-706-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:41.213 [pool-706-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (a * b) <= 100
04:39:41.213 [pool-706-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL (a * b) <= 100
04:39:41.297 [pool-706-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a * b) <= 100" is working
04:39:41.318 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 12
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 9
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 10
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 10
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1867ms
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - (a * b) <= 100
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 10
04:39:41.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL
04:39:41.320 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_8/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_8/NopolExample.java
@@ -11,4 +11,4 @@
// if ( a * b <= 100) // FIX
- if ( a * b < 100)
- return true;
+ if ( (a * b) <= 100)
+ return true;
04:39:41.321 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:41.321 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:41.321 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:41.321 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:41.323 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@623116e2', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:41.323 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:41.323 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 154 MB
04:39:41.323 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:41.323 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 229 MB
04:39:41.323 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:41.323 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:41.323 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:41.361 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:41.361 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:41.361 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:41.362 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:41.362 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@623116e2', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:41.362 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:41.362 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 138 MB
04:39:41.362 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:41.362 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 229 MB
04:39:41.363 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:41.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:41.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:42.873 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:42.873 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
04:39:42.923 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:43.078 [pool-750-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, a=-2, b=-4, (b - a)=-2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test6)
constraint: {0=0, a=2, b=4, (b - a)=2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test1)
04:39:43.078 [pool-750-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:43.087 [pool-750-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:43.109 [pool-750-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (b - a) == 2
04:39:43.109 [pool-750-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (b - a) == 2
04:39:43.193 [pool-750-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(b - a) == 2" is working
04:39:43.201 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:43.201 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:43.201 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:43.201 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 13
04:39:43.202 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 10
04:39:43.202 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 2
04:39:43.202 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:43.202 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:43.202 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:43.203 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
04:39:43.203 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1840ms
04:39:43.203 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:43.203 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:43.203 [main] INFO fr.inria.lille.repair.nopol.NoPol - (b - a) == 2
04:39:43.204 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:43.204 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:43.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
public int getMax(int a, int b){
- if ( (b - a) < 0 ){ // Fix a < b
+ if ( (b - a) == 2){ // Fix a < b
return b;
04:39:43.208 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
04:39:43.208 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:43.208 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND
04:39:43.208 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
04:39:43.208 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=PRE_THEN_COND, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_5], projectClasspath='[Ljava.net.URL;@24abb4e9', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:43.209 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:43.209 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 56 MB
04:39:43.209 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:43.210 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 221 MB
04:39:43.210 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:43.210 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:43.210 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:44.721 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:44.721 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
04:39:44.752 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:44.753 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
04:39:44.782 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:44.926 [pool-771-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=-2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test4)
constraint: {a=-5, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test5)
constraint: {a=2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test1)
constraint: {a=10, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test2)
constraint: {a=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test6)
04:39:44.927 [pool-771-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:44.938 [pool-771-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:44.959 [pool-771-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
04:39:44.959 [pool-771-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
04:39:45.031 [pool-771-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
04:39:45.036 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:45.036 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:45.036 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:45.036 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 14
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 11
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1828ms
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
04:39:45.037 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
@@ -19,3 +19,5 @@
// FIX : precondition missing : if ( -1<a )
- r = -1;
+ if (-1 < a) {
+ r = -1;
+ }
return r*a;
04:39:45.038 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:45.038 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:45.038 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:45.038 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:45.038 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@2fc010e2', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:45.038 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:45.038 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 92 MB
04:39:45.039 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:45.039 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 228 MB
04:39:45.039 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:45.039 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:45.039 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:46.595 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:46.595 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
04:39:46.629 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:46.774 [pool-800-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, a=2, b=-8, (b - a)=-10, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test9)
constraint: {0=0, a=4, b=-2, (b - a)=-6, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test4)
constraint: {0=0, a=-2, b=-4, (b - a)=-2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test6)
constraint: {0=0, a=4, b=2, (b - a)=-2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test2)
constraint: {0=0, a=-4, b=-2, (b - a)=2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test7)
constraint: {0=0, a=-2, b=4, (b - a)=6, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test5)
constraint: {0=0, a=2, b=4, (b - a)=2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test1)
04:39:46.774 [pool-800-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:46.786 [pool-800-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:46.846 [pool-800-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a)
04:39:46.846 [pool-800-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a)
04:39:46.954 [pool-800-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 15
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 12
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1926ms
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - 1 < (b - a)
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:46.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:46.965 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
public int getMax(int a, int b){
- if ( (b - a) < 0 ){ // Fix a < b
+ if ( 1 < (b - a)){ // Fix a < b
return b;
04:39:46.972 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
04:39:46.972 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:46.972 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: COND_THEN_PRE
04:39:46.972 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
04:39:46.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=COND_THEN_PRE, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_1], projectClasspath='[Ljava.net.URL;@59c5d81f', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:46.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:46.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 122 MB
04:39:46.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:46.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 222 MB
04:39:46.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:46.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:46.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:48.462 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:48.462 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
04:39:48.507 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:48.584 [pool-851-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:16
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
04:39:48.585 [pool-851-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:48.585 [pool-851-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:48.585 [pool-851-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:16.
04:39:48.585 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:48.585 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
04:39:48.616 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:48.700 [pool-857-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:15
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
04:39:48.700 [pool-857-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:48.701 [pool-857-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:48.701 [pool-857-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:48.701 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:48.798 [pool-863-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:15
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
04:39:48.799 [pool-863-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:48.799 [pool-863-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:48.799 [pool-863-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:48.799 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:48.799 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
04:39:48.832 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:48.989 [pool-869-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test6)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test5)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=3, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test2)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=12, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test4)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=2, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test7)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test8)
constraint: {0=0, s.length()==0=false, s.length()=13, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test9)
04:39:48.989 [pool-869-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:49.000 [pool-869-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:49.046 [pool-869-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:49.046 [pool-869-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
04:39:49.107 [pool-869-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
04:39:49.131 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:49.131 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:49.131 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:49.131 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 19
04:39:49.131 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 13
04:39:49.131 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:49.131 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:49.131 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:49.131 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:49.131 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:49.132 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2159ms
04:39:49.132 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:49.132 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:49.132 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:49.132 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:49.132 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:49.132 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
- if ( index == 0 ) // Fix index <= 0
- return s.charAt(0);
+ if ( index < 0) // Fix index <= 0
+ return s.charAt(0);
04:39:49.137 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
04:39:49.137 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:49.137 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:49.137 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
04:39:49.137 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_1], projectClasspath='[Ljava.net.URL;@6372596', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:49.138 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:49.138 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 152 MB
04:39:49.138 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:49.138 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 228 MB
04:39:49.138 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:49.138 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:49.138 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:50.743 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:50.743 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
04:39:50.772 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:50.773 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
04:39:50.814 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:50.906 [pool-911-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:15
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
04:39:50.906 [pool-911-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:50.906 [pool-911-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:50.906 [pool-911-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:50.906 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:50.906 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
04:39:50.947 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:51.109 [pool-917-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test6)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test5)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=3, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test2)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=12, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test4)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=2, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test7)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test8)
constraint: {0=0, s.length()==0=false, s.length()=13, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test9)
04:39:51.109 [pool-917-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:51.121 [pool-917-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:51.165 [pool-917-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:51.165 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:51.165 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 21
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 14
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2028ms
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:51.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
- if ( index == 0 ) // Fix index <= 0
- return s.charAt(0);
+ if ( index < 0) // Fix index <= 0
+ return s.charAt(0);
04:39:51.170 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
04:39:51.170 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:51.170 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND
04:39:51.170 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
04:39:51.170 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=PRE_THEN_COND, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_1], projectClasspath='[Ljava.net.URL;@35a3d8c1', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:51.170 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:51.170 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 38 MB
04:39:51.170 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:51.171 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 228 MB
04:39:51.171 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:51.171 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:51.171 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:52.773 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:52.773 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
04:39:52.804 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:52.902 [pool-950-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:16
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
04:39:52.902 [pool-950-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:52.902 [pool-950-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:52.902 [pool-950-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:16.
04:39:52.902 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:52.902 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
04:39:52.935 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:53.033 [pool-956-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:15
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
04:39:53.034 [pool-956-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:53.034 [pool-956-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:53.034 [pool-956-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:53.034 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:53.138 [pool-962-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:15
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
04:39:53.138 [pool-962-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:53.138 [pool-962-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:53.138 [pool-962-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:53.138 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:53.138 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
04:39:53.169 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:53.298 [pool-968-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:12
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
04:39:53.298 [pool-968-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:53.298 [pool-968-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:53.298 [pool-968-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:12.
04:39:53.298 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:53.429 [pool-974-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test6)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test5)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=3, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test2)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=12, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test4)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=2, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test7)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test8)
constraint: {0=0, s.length()==0=false, s.length()=13, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test9)
04:39:53.429 [pool-974-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:53.440 [pool-974-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:53.483 [pool-974-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:53.483 [pool-974-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
04:39:53.543 [pool-974-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 26
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 15
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2381ms
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:53.551 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:53.552 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
- if ( index == 0 ) // Fix index <= 0
- return s.charAt(0);
+ if ( index < 0) // Fix index <= 0
+ return s.charAt(0);
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: COND_THEN_PRE
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=COND_THEN_PRE, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_5], projectClasspath='[Ljava.net.URL;@cab11e1', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 149 MB
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 227 MB
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:53.580 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:55.104 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:55.104 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
04:39:55.145 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:55.145 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
04:39:55.177 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:55.326 [pool-1016-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=-2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test4)
constraint: {a=-5, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test5)
constraint: {a=2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test1)
constraint: {a=10, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test2)
constraint: {a=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test6)
04:39:55.327 [pool-1016-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:55.338 [pool-1016-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:55.362 [pool-1016-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
04:39:55.362 [pool-1016-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
04:39:55.432 [pool-1016-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 27
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 16
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1857ms
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:55.437 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
04:39:55.438 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
@@ -19,3 +19,5 @@
// FIX : precondition missing : if ( -1<a )
- r = -1;
+ if (-1 < a) {
+ r = -1;
+ }
return r*a;
Tests run: 15, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 28.059 sec
Running fr.inria.lille.commons.smt.SMTLibTest
Tests run: 32, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.116 sec
Running fr.inria.lille.commons.smt.SMTLibEqualVisitorTest
04:39:55.583 [main] WARN f.i.l.c.s.smt.SMTLibEqualVisitor - Empty implementation of fr.inria.lille.commons.synthesis.smt.SMTLibEqualVisitor.visit(IApplication)
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.024 sec
Running fr.inria.lille.commons.smt.ComparisonTest
Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec
Running fr.inria.lille.commons.trace.ValuesCollectorTest
Collected variables [aBoolean, reachableVariable]
Expected variables [aBoolean, reachableVariable]
Getters: {}
Collected variables [index, word, infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer]
Expected variables [word, index, infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer]
Getters: {infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer=[getConsumed, getSize]}
Collected variables [nested.privateInstanceField, spoon.example.ClassToSpoon.privateStaticField, spoon.example.ClassToSpoon.this.protectedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.protectedStaticField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.privateNestedInstanceField, comparable.privateNestedInstanceField, comparable.publicNestedInstanceField, nested, nested.protectedInstanceField, nested.publicInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.publicStaticField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.protectedNestedInstanceField, spoon.example.ClassToSpoon.this.privateInstanceField, comparable, spoon.example.ClassToSpoon.NestedClassToSpoon.this.publicNestedInstanceField]
Expected variables [comparable, nested, comparable.privateNestedInstanceField, comparable.publicNestedInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.protectedStaticField, spoon.example.ClassToSpoon.privateStaticField, spoon.example.ClassToSpoon.publicStaticField, nested.publicInstanceField, nested.protectedInstanceField, nested.privateInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.protectedNestedInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.publicNestedInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.privateNestedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.this.privateInstanceField, spoon.example.ClassToSpoon.this.protectedInstanceField]
Getters: {}
Collected variables [nopol_examples.nopol_example_2.NopolExample.1.this.limit]
Expected variables [nopol_examples.nopol_example_2.NopolExample.1.this.limit]
Getters: {}
04:39:56.025 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=-5, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (<unknown>)
constraint: {a=2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (<unknown>)
constraint: {a=10, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (<unknown>)
constraint: {a=-2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (<unknown>)
constraint: {a=-2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (<unknown>)
constraint: {a=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (<unknown>)
constraint: {a=0, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (<unknown>)
04:39:56.025 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:56.034 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:56.052 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:39:56.178 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:56.429 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:40:21.092 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Failed code synthesis, returning NullCodeGenesis
04:40:21.168 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {result=false, a=-5, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: false (<unknown>)
constraint: {result=true, a=2, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: true (<unknown>)
constraint: {result=true, a=10, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: true (<unknown>)
constraint: {result=false, a=-2, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: false (<unknown>)
constraint: {result=false, a=-2, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: false (<unknown>)
constraint: {result=true, a=1, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: true (<unknown>)
constraint: {result=true, a=0, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: true (<unknown>)
04:40:21.169 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:21.187 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:21.218 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 <= a
Collected variables [a, b]
Expected variables [a, b]
Getters: {}
Collected variables [11, (!(a < b)), 0, a, (a * b), b, -b, ((a * b) < 11), (a < b)]
Expected variables [0, 11, a, b, -b, (a * b), (a < b), (!(a < b)), ((a * b) < 11)]
Getters: {}
Collected variables [spoon.example.ClassToSpoon.privateStaticField, nested2.protectedInstanceField, spoon.example.ClassToSpoon.this.protectedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.protectedStaticField, comparable.privateNestedInstanceField, nested2, comparable.publicNestedInstanceField, nested2.privateInstanceField, nested2.publicInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.publicStaticField, spoon.example.ClassToSpoon.this.privateInstanceField, comparable]
Expected variables [comparable, nested2, comparable.privateNestedInstanceField, comparable.publicNestedInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.protectedStaticField, spoon.example.ClassToSpoon.privateStaticField, spoon.example.ClassToSpoon.publicStaticField, nested2.privateInstanceField, nested2.publicInstanceField, nested2.protectedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.this.privateInstanceField, spoon.example.ClassToSpoon.this.protectedInstanceField]
Getters: {}
Collected variables [aBoolean, nopol_examples.nopol_example_2.NopolExample.InnerNopolExample.this.fieldOfInnerClass, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Expected variables [aBoolean, nopol_examples.nopol_example_2.NopolExample.InnerNopolExample.this.fieldOfInnerClass, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Getters: {}
Collected variables [index, nopol_examples.nopol_example_1.NopolExample.s, s, nopol_examples.nopol_example_1.NopolExample.this.index]
Expected variables [s, index, nopol_examples.nopol_example_1.NopolExample.this.index, nopol_examples.nopol_example_1.NopolExample.s]
Getters: {}
Collected variables [a, b, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Expected variables [b, a, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass]
Getters: {}
Collected variables [a, tmp]
Expected variables [a, tmp]
Getters: {}
Collected variables [a, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass, r]
Expected variables [r, a, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass]
Getters: {}
Collected variables [a, b]
Expected variables [a, b]
Getters: {}
Collected variables [stringParameter]
Expected variables [stringParameter]
Getters: {}
Tests run: 26, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 26.336 sec
Running fr.inria.lille.commons.synthesis.CodeSynthesisTest
04:40:21.929 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {}. outcome: 0 (<unknown>)
constraint: {}. outcome: 0 (<unknown>)
04:40:21.929 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:21.942 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0
04:40:21.950 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, cond=true, size=4}. outcome: false (<unknown>)
constraint: {0=0, cond=false, size=7}. outcome: true (<unknown>)
04:40:21.950 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:21.967 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
?: of arity: 3
04:40:21.987 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == ((cond)?(size):(0))
04:40:21.990 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {iterations=15, array.length=10}. outcome: 10 (<unknown>)
constraint: {iterations=7, array.length=10}. outcome: 10 (<unknown>)
04:40:21.991 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:21.999 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: array.length
04:40:22.003 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {value=97, letter=a}. outcome: true (<unknown>)
constraint: {value=98, letter=b}. outcome: true (<unknown>)
constraint: {value=122, letter=c}. outcome: false (<unknown>)
constraint: {value=120, letter=d}. outcome: false (<unknown>)
04:40:22.003 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:22.019 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: value == letter
04:40:22.024 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {p=3, q=3, n=6}. outcome: true (<unknown>)
constraint: {p=13, q=5, n=18}. outcome: true (<unknown>)
constraint: {p=2, q=5, n=6}. outcome: false (<unknown>)
constraint: {p=13, q=5, n=12}. outcome: false (<unknown>)
04:40:22.024 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:22.045 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
+ of arity: 2
- of arity: 2
04:40:22.117 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: q + p <= n
04:40:22.123 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {iterations=10, array.length=10}. outcome: 20 (<unknown>)
constraint: {iterations=5, array.length=15}. outcome: 20 (<unknown>)
04:40:22.124 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
+ of arity: 2
- of arity: 2
04:40:22.138 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: array.length + iterations
04:40:22.143 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {iterations=15, array.length=4}. outcome: false (<unknown>)
constraint: {iterations=5, array.length=16}. outcome: true (<unknown>)
constraint: {iterations=16, array.length=16}. outcome: true (<unknown>)
04:40:22.143 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:22.158 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: iterations <= array.length
04:40:22.161 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {isEmpty=true, iterations=11, array.length=12}. outcome: 10 (<unknown>)
constraint: {isEmpty=false, iterations=15, array.length=11}. outcome: 10 (<unknown>)
04:40:22.161 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
?: of arity: 3
04:40:22.172 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
?: of arity: 3
+ of arity: 2
- of arity: 2
04:40:22.221 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (((isEmpty)?(iterations):(array.length))) - (1)
Tests run: 16, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.301 sec
Running fr.inria.lille.commons.synthesis.smt.constraint.ConstraintTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.045 sec
Running fr.inria.lille.commons.synthesis.LocationVariableContainerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec
Running fr.inria.lille.commons.synthesis.LocationVariableTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec
Running fr.inria.lille.commons.synthesis.OperatorTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec
Running fr.inria.lille.evo.TestPatchEvo
04:40:22.278 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:22.278 [main] DEBUG fr.inria.lille.evo.Main - ##### launch nopol without new tests #####
04:40:22.279 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
04:40:22.279 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
04:40:22.279 [main] DEBUG fr.inria.lille.evo.Main - classpath = ../test-projects/target/classes:../test-projects/target/test-classes:src/test/resources/evo/destCpTest:lib/junit-4.11.jar
04:40:22.279 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@58e48dd1
04:40:22.279 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest]
04:40:22.280 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/src/test/resources/evo/destCpTest/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:40:22.280 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:40:22.280 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest]
04:40:22.280 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest], projectClasspath='[Ljava.net.URL;@4d0d3b8d', projectTests=[evo_examples.evo_example_1.EvoExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:40:22.280 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:40:22.280 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 150 MB
04:40:22.280 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:40:22.280 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 228 MB
04:40:22.281 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:40:22.281 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:40:22.281 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:40:24.192 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:40:24.192 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 3 tests
1314309581
04:40:24.254 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:40:24.254 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 5 tests
1314309581
04:40:24.283 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:40:24.401 [pool-1045-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {number=1, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_3)
constraint: {number=6, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_1)
constraint: {number=9, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_2)
constraint: {number=-3, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: true (test_evo_example_4)
04:40:24.402 [pool-1045-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:24.412 [pool-1045-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:24.435 [pool-1045-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: number < -1
04:40:24.435 [pool-1045-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:40:24.495 [pool-1045-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "number < -1" is working
04:40:24.498 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:40:24.504 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 60
04:40:24.504 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 285
04:40:24.504 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 28
04:40:24.504 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 17
04:40:24.504 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 4
04:40:24.504 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:40:24.504 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:40:24.505 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:40:24.505 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:40:24.505 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2219ms
04:40:24.505 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:40:24.505 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:40:24.505 [main] INFO fr.inria.lille.repair.nopol.NoPol - number < -1
04:40:24.505 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 5
04:40:24.505 [main] INFO fr.inria.lille.repair.nopol.NoPol - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL
04:40:24.506 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
@@ -8,3 +8,3 @@
- if(number <= 1){
+ if(number < -1){
return 0;
04:40:24.506 [main] DEBUG fr.inria.lille.evo.Main - ### ----- PATCH FOUND -----
04:40:24.506 [main] DEBUG fr.inria.lille.evo.Main - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:40:24.506 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:24.506 [main] DEBUG fr.inria.lille.evo.Main - ##### Search tests files path #####
04:40:24.669 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] evo_examples.evo_example_1.EvoExampleGeneratedTest
04:40:24.669 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:24.669 [main] DEBUG fr.inria.lille.evo.Main - ##### Search tests methods #####
04:40:24.787 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] test_evo_example_generated_1()
04:40:24.787 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] test_evo_example_generated_0()
04:40:24.787 [main] DEBUG fr.inria.lille.evo.Main - ###########################################
04:40:24.787 [main] DEBUG fr.inria.lille.evo.Main - ######## start to try each methods ########
04:40:24.787 [main] DEBUG fr.inria.lille.evo.Main - ###########################################
04:40:24.787 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:24.789 [main] DEBUG fr.inria.lille.evo.Main - # TEST METHOD : test_evo_example_generated_1()
04:40:24.789 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:24.789 [main] DEBUG fr.inria.lille.evo.Main - ### Remove EvoSuite & Recompile Tests
04:40:24.970 [main] DEBUG fr.inria.lille.evo.Main - ### Launch Nopol
04:40:24.971 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
04:40:24.971 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
04:40:24.971 [main] DEBUG fr.inria.lille.evo.Main - classpath = ../test-projects/target/classes:../test-projects/target/test-classes:src/test/resources/evo/destCpTest:lib/junit-4.11.jar
04:40:24.971 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@28c60940
04:40:24.972 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest]
04:40:24.972 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/src/test/resources/evo/destCpTest/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:40:24.972 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:40:24.972 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest]
04:40:24.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest], projectClasspath='[Ljava.net.URL;@44b1bbb1', projectTests=[evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest], complianceLevel=7, outputFolder=./, json=false}
04:40:24.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:40:24.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 51 MB
04:40:24.973 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:40:24.974 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 229 MB
04:40:24.974 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:40:24.974 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:40:24.974 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:40:26.744 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:40:26.745 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 4 tests
1314309581
04:40:26.774 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:40:26.774 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 6 tests
1314309581
04:40:26.801 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:40:26.914 [pool-1068-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {number=1, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_3)
constraint: {number=1, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: true (test_evo_example_generated_1)
constraint: {number=6, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_1)
constraint: {number=9, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_2)
constraint: {number=-3, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: true (test_evo_example_4)
04:40:26.914 [pool-1068-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:26.924 [pool-1068-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:26.956 [pool-1068-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:40:27.052 [pool-1068-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:27.611 [pool-1068-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:40:59.984 [pool-1068-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Failed code synthesis, returning NullCodeGenesis
04:40:59.985 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:40:59.990 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 61
04:40:59.990 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 286
04:40:59.990 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 29
04:40:59.990 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 18
04:40:59.990 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 4
04:40:59.990 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 5
04:40:59.991 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [14] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2, ! of arity: 1, || of arity: 2, && of arity: 2, == of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2, ! of arity: 1, || of arity: 2, && of arity: 2]
04:40:59.991 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 14
04:40:59.991 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:40:59.991 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 35013ms
04:40:59.991 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:40:59.995 [main] DEBUG fr.inria.lille.evo.Main - ### ----- NO PATCH FOUND -----
04:40:59.995 [main] DEBUG fr.inria.lille.evo.Main - ### METHOD REMOVED : test_evo_example_generated_1()
04:40:59.996 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:40:59.996 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
04:40:59.996 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:59.996 [main] DEBUG fr.inria.lille.evo.Main - # TEST METHOD : test_evo_example_generated_0()
04:40:59.997 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:59.997 [main] DEBUG fr.inria.lille.evo.Main - ### Remove EvoSuite & Recompile Tests
04:41:00.063 [main] DEBUG fr.inria.lille.evo.Main - ### Launch Nopol
04:41:00.063 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
04:41:00.063 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
04:41:00.064 [main] DEBUG fr.inria.lille.evo.Main - classpath = ../test-projects/target/classes:../test-projects/target/test-classes:src/test/resources/evo/destCpTest:lib/junit-4.11.jar
04:41:00.064 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@28c60940
04:41:00.065 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest]
04:41:00.065 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/src/test/resources/evo/destCpTest/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:41:00.065 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:41:00.066 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest]
04:41:00.066 [main] INFO fr.inria.lille.repair.nopol.NoPol - Config: Config{synthesisDepth=3, collectStaticMethods=true, collectStaticFields=false, collectLiterals=false, onlyOneSynthesisResult=true, sortExpressions=true, maxLineInvocationPerTest=250, timeoutMethodInvocation=2000, dataCollectionTimeoutInSecondForSynthesis=900, addWeight=0.19478, subWeight=0.04554, mulWeight=0.0102, divWeight=0.00613, andWeight=0.10597, orWeight=0.05708, eqWeight=0.22798, nEqWeight=0.0, lessEqWeight=0.0255, lessWeight=0.0947, methodCallWeight=0.1, fieldAccessWeight=0.08099, constantWeight=0.14232, variableWeight=0.05195, mode=REPAIR, type=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest], projectClasspath='[Ljava.net.URL;@28fdab0f', projectTests=[evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest], complianceLevel=7, outputFolder=./, json=false}
04:41:00.066 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:41:00.067 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 39 MB
04:41:00.067 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:41:00.068 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 227 MB
04:41:00.068 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:41:00.068 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:41:00.069 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:41:01.803 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:41:01.803 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 3 tests
1314309581
04:41:01.833 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:41:01.833 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 6 tests
1314309581
04:41:01.892 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:41:02.005 [pool-1089-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {number=1, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_3)
constraint: {number=6, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=10}. outcome: false (test_evo_example_generated_0)
constraint: {number=6, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_1)
constraint: {number=9, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_2)
constraint: {number=-3, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: true (test_evo_example_4)
04:41:02.005 [pool-1089-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:41:02.015 [pool-1089-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:41:02.036 [pool-1089-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: number < 1
04:41:02.036 [pool-1089-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
04:41:02.087 [pool-1089-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "number < 1" is working
04:41:02.093 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 61
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 286
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 30
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 19
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2028ms
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - number < 1
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:41:02.097 [main] INFO fr.inria.lille.repair.nopol.NoPol - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL
04:41:02.098 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
@@ -8,3 +8,3 @@
- if(number <= 1){
+ if(number < 1){
return 0;
04:41:02.098 [main] DEBUG fr.inria.lille.evo.Main - ### ----- PATCH FOUND -----
04:41:02.098 [main] DEBUG fr.inria.lille.evo.Main - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
04:41:02.099 [main] DEBUG fr.inria.lille.evo.Main - ### METHOD KEPT : test_evo_example_generated_0()
04:41:02.099 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:41:02.099 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
04:41:02.099 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_0 <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
04:41:02.099 [main] DEBUG fr.inria.lille.evo.Main - ### End of program. Recompile keeping all good tests
04:41:02.179 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:41:02.179 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
04:41:02.179 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_0 <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
[evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1] basic
[] test_evo_example_generated_1
[evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1] test_evo_example_generated_0
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 39.916 sec
Running fr.inria.lille.diff.PatchGeneratorTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.474 sec
Results :
Tests run: 367, Failures: 0, Errors: 0, Skipped: 11
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.5.201505241946:report (report) @ nopol ---
[INFO] Analyzed bundle 'Nopol' with 330 classes
[INFO]
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ nopol ---
[INFO] Building jar: /builds/workspace/nopol/nopol/target/nopol-0.2-SNAPSHOT.jar
[INFO]
[INFO] --- maven-assembly-plugin:2.4:single (create-my-bundle) @ nopol ---
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from maven.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from central
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from maven.inria.fr-snapshot
Downloading: http://maven-repo.gforge.inria.fr/releases/com/sanityinc/jargs/2.0-SNAPSHOT/jargs-2.0-20130121.212743-2.pom
Downloading: http://sachaproject.gforge.inria.fr/repositories/releases/com/sanityinc/jargs/2.0-SNAPSHOT/jargs-2.0-20130121.212743-2.pom
Downloading: http://maven.inria.fr/artifactory/spoon-public-snapshot/com/sanityinc/jargs/2.0-SNAPSHOT/jargs-2.0-20130121.212743-2.pom
Downloading: http://spoon.gforge.inria.fr/repositories/releases/com/sanityinc/jargs/2.0-SNAPSHOT/jargs-2.0-20130121.212743-2.pom
Downloading: https://tdurieux.github.io/maven-repository/snapshots/com/sanityinc/jargs/2.0-SNAPSHOT/jargs-2.0-20130121.212743-2.pom
Adding org.apache.maven.shared.invoker.Invokerdefault
[INFO] Building jar: /builds/workspace/nopol/nopol/target/nopol-0.2-SNAPSHOT-jar-with-dependencies.jar
Component: org.apache.maven.shared.invoker.Invokerdefault is already defined. Skipping.
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 02:20 min
[INFO] Finished at: 2018-09-29T10:41:16+02:00
[INFO] Final Memory: 40M/216M
[INFO] ------------------------------------------------------------------------
Recording test results
Finished: SUCCESS
![[Jenkins]](/sos/static/99fe9f0d/images/svgs/logo.svg){kind=logo}
