Console Output
Skipping 142 KB..
Full Log05:41:10.795 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=50.0
05:41:10.796 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0
05:41:10.796 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
05:41:10.796 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
05:41:10.797 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=418)
05:41:10.797 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
05:41:10.798 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
05:41:10.805 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
05:41:10.807 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_2 iteration 0
05:41:10.809 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=2.0
05:41:10.810 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0
05:41:10.810 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
05:41:10.810 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
05:41:10.811 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=421)
05:41:10.811 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
05:41:10.812 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
05:41:10.825 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
05:41:10.826 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_1 iteration 0
05:41:10.827 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=5.0
05:41:10.828 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=5.0
05:41:10.828 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
05:41:10.828 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
05:41:10.828 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=434)
05:41:10.829 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
05:41:10.830 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
05:41:10.838 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
05:41:10.839 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_9 iteration 0
05:41:10.840 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=101.0
05:41:10.841 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0
05:41:10.841 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
05:41:10.841 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
05:41:10.841 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=440)
05:41:10.842 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
05:41:10.843 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
05:41:10.847 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
05:41:10.848 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_10 iteration 0
05:41:10.849 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=8451.0
05:41:10.850 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=4897.0
05:41:10.850 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
05:41:10.850 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
05:41:10.850 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=443)
05:41:10.851 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
05:41:10.852 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
05:41:10.860 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
05:41:10.862 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_8 iteration 0
05:41:10.863 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=50.0
05:41:10.863 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0
05:41:10.863 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
05:41:10.864 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
05:41:10.865 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=446)
05:41:10.866 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
05:41:10.866 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
05:41:10.872 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
05:41:10.873 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_7 iteration 0
05:41:10.874 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=5.0
05:41:10.875 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0
05:41:10.875 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
05:41:10.875 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
05:41:10.875 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=449)
05:41:10.876 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
05:41:10.876 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
05:41:10.887 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
05:41:10.889 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_6 iteration 0
05:41:10.889 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=0.0
05:41:10.891 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0
05:41:10.891 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
05:41:10.891 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
05:41:10.891 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=452)
05:41:10.892 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
05:41:10.892 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
05:41:10.899 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
05:41:10.900 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_5 iteration 0
05:41:10.901 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=9.0
05:41:10.902 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=9.0
05:41:10.902 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
05:41:10.902 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
05:41:10.902 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=455)
05:41:10.903 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
05:41:10.904 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
05:41:10.911 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit
05:41:10.913 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 7 elements
05:41:11.116 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 53457 evaluated elements
========= Info ==========
Nb constants 4
Nb method invocations 0
Nb field access 0
Nb variables 3
Total 7
Nb evaluated expressions 26696
Init Execution time 324 ms
Collect Execution time 168 ms
Combine Execution time 206.0 ms
Nb Combination par sec 129592 combinations/sec
Total Execution time 698 ms
Nb line execution 10
Nb results 1
Results:
1. (a * b) <= 100
========================
Stat
========================
Operators:
MUL 1
LT 1
Methods:
Variable:
a 1
b 1
& 4 & 0 & 0 & 3 & 7 & 26696 & 699 ms & 10 &
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.185 sec
Running fr.inria.lille.repair.spoon.ConditionnalInstrumenterTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.369 sec
Running fr.inria.lille.repair.expression.ExpressionTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec
Running fr.inria.lille.repair.nopol.TseEvaluationTest
Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.089 sec
Running fr.inria.lille.repair.nopol.Defects4jEvaluationMathTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.017 sec
Running fr.inria.lille.repair.nopol.Defects4jEvaluationTest
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.017 sec
Running fr.inria.lille.repair.nopol.NopolTest
05:41:11.629 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
05:41:11.630 [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]
05:41:11.630 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:41:11.630 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
05:41:11.630 [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;@2d14237e', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:11.630 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:11.630 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 138 MB
05:41:11.630 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:11.630 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 211 MB
05:41:11.630 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:11.630 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:11.630 [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
05:41:13.694 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:13.694 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
05:41:13.750 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:41:13.750 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
05:41:13.812 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:13.949 [pool-292-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)]
05:41:13.949 [pool-292-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>]
05:41:13.949 [pool-292-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]
05:41:13.949 [pool-292-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.
05:41:13.949 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
05:41:13.950 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
05:41:13.983 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:14.164 [pool-298-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)
05:41:14.164 [pool-298-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:14.189 [pool-298-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:14.245 [pool-298-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
05:41:14.245 [pool-298-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
05:41:14.332 [pool-298-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
05:41:14.357 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:14.357 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:14.357 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
05:41:14.357 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 6
05:41:14.357 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 3
05:41:14.357 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
05:41:14.358 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:14.358 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:14.358 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:14.358 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
05:41:14.358 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2728ms
05:41:14.358 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:14.358 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:14.358 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
05:41:14.358 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
05:41:14.358 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
05:41:14.358 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:14.366 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
05:41:14.366 [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]
05:41:14.367 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:41:14.367 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
05:41:14.367 [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;@cd3ea35', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:14.367 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:14.367 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 107 MB
05:41:14.367 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:14.367 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 213 MB
05:41:14.367 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:14.367 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:14.367 [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
05:41:16.386 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:16.386 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
05:41:16.427 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:16.671 [pool-340-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)
05:41:16.672 [pool-340-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:16.686 [pool-340-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:16.746 [pool-340-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a)
05:41:16.746 [pool-340-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a)
05:41:16.816 [pool-340-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working
05:41:16.828 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:16.828 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:16.828 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
05:41:16.828 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 7
05:41:16.828 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 4
05:41:16.828 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
05:41:16.828 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:16.828 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:16.829 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:16.829 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
05:41:16.829 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2462ms
05:41:16.829 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:16.829 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:16.829 [main] INFO fr.inria.lille.repair.nopol.NoPol - 1 < (b - a)
05:41:16.829 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
05:41:16.829 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
05:41:16.830 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:16.835 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_3]
05:41:16.835 [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]
05:41:16.835 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:41:16.835 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_3.NopolExampleTest]
05:41:16.836 [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;@48c15833', projectTests=[nopol_examples.nopol_example_3.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:16.836 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:16.836 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 21 MB
05:41:16.836 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:16.836 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 211 MB
05:41:16.836 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:16.836 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:16.836 [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
05:41:18.608 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:18.608 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_3.NopolExample:11 which is executed by 9 tests
-126608641
05:41:18.644 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:18.897 [pool-391-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)
05:41:18.897 [pool-391-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:18.909 [pool-391-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:18.955 [pool-391-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == tmp
05:41:18.955 [pool-391-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL 0 == tmp
05:41:19.015 [pool-391-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "0 == tmp" is working
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 3
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 8
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 5
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 9
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 12
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2197ms
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:19.032 [main] INFO fr.inria.lille.repair.nopol.NoPol - 0 == tmp
05:41:19.033 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
05:41:19.033 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL
05:41:19.033 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:19.041 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
05:41:19.041 [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]
05:41:19.041 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRECONDITION
05:41:19.041 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
05:41:19.041 [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;@cad4543', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:19.041 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:19.041 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 71 MB
05:41:19.041 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:19.041 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 210 MB
05:41:19.042 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:19.042 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:19.042 [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
05:41:20.942 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:20.943 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
05:41:20.987 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:41:20.987 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
05:41:21.045 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
05:41:21.226 [pool-448-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)
05:41:21.227 [pool-448-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:21.237 [pool-448-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:21.266 [pool-448-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
05:41:21.266 [pool-448-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
05:41:21.358 [pool-448-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
05:41:21.363 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 9
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 6
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2322ms
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
05:41:21.364 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
05:41:21.365 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
05:41:21.366 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:21.370 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_6]
05:41:21.371 [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]
05:41:21.371 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:41:21.371 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_6.NopolExampleTest]
05:41:21.371 [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;@6bb4110', projectTests=[nopol_examples.nopol_example_6.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:21.371 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:21.371 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 117 MB
05:41:21.371 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:21.371 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 210 MB
05:41:21.371 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:21.371 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:21.371 [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
05:41:23.309 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:23.309 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_6.NopolExample:7 which is executed by 6 tests
-126608641
05:41:23.361 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:23.491 [pool-478-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)
05:41:23.491 [pool-478-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:23.504 [pool-478-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:23.532 [pool-478-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: a < b
05:41:23.532 [pool-478-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_6.NopolExample:7: CONDITIONAL a < b
05:41:23.585 [pool-478-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "a < b" is working
05:41:23.590 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 10
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 7
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2220ms
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - a < b
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
05:41:23.591 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_6.NopolExample:7: CONDITIONAL
05:41:23.592 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:23.611 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_7]
05:41:23.611 [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]
05:41:23.611 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:41:23.611 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_7.NopolExampleTest]
05:41:23.611 [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;@7263f5f1', projectTests=[nopol_examples.nopol_example_7.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:23.611 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:23.611 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 53 MB
05:41:23.611 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:23.611 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 211 MB
05:41:23.611 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:23.612 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:23.612 [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
05:41:25.510 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:25.511 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:22 which is executed by 4 tests
-126608641
05:41:25.547 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:41:25.547 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:21 which is executed by 30 tests
-126608641
05:41:25.582 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:25.785 [pool-514-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)
05:41:25.785 [pool-514-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:25.798 [pool-514-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:25.902 [pool-514-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
05:41:26.124 [pool-514-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (intermediaire == 0) && (3 < a)
05:41:26.124 [pool-514-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL (intermediaire == 0) && (3 < a)
05:41:26.198 [pool-514-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(intermediaire == 0) && (3 < a)" is working
05:41:26.221 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:26.221 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:26.221 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 11
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 8
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 26
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 3
05:41:26.222 [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]
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 7
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 9
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2610ms
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - (intermediaire == 0) && (3 < a)
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 30
05:41:26.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL
05:41:26.223 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:26.228 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_8]
05:41:26.228 [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]
05:41:26.228 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:41:26.228 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_8.NopolExampleTest]
05:41:26.228 [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;@16146bae', projectTests=[nopol_examples.nopol_example_8.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:26.228 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:26.228 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 60 MB
05:41:26.228 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:26.228 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 212 MB
05:41:26.228 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:26.228 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:26.228 [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
05:41:28.186 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:28.186 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:15 which is executed by 5 tests
-126608641
05:41:28.221 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:41:28.221 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:12 which is executed by 10 tests
-126608641
05:41:28.254 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:28.425 [pool-635-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)
05:41:28.425 [pool-635-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:28.439 [pool-635-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:28.496 [pool-635-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (a * b) <= 100
05:41:28.496 [pool-635-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL (a * b) <= 100
05:41:28.563 [pool-635-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a * b) <= 100" is working
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 12
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 9
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 10
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 10
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2344ms
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - (a * b) <= 100
05:41:28.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 10
05:41:28.573 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL
05:41:28.573 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:28.573 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
05:41:28.573 [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]
05:41:28.574 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:41:28.574 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
05:41:28.574 [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;@2317fa8e', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:28.574 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:28.574 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 100 MB
05:41:28.574 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:28.574 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 213 MB
05:41:28.574 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:28.574 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:28.574 [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
05:41:28.613 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
05:41:28.613 [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]
05:41:28.613 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:41:28.613 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
05:41:28.613 [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;@2317fa8e', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:28.614 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:28.614 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 85 MB
05:41:28.614 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:28.614 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 213 MB
05:41:28.614 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:28.614 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:28.614 [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
05:41:30.404 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:30.405 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
05:41:30.454 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:30.609 [pool-679-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)
05:41:30.610 [pool-679-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:30.620 [pool-679-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:30.645 [pool-679-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (b - a) == 2
05:41:30.645 [pool-679-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (b - a) == 2
05:41:30.711 [pool-679-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(b - a) == 2" is working
05:41:30.720 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 13
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 10
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 2
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2107ms
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - (b - a) == 2
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
05:41:30.721 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:30.725 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
05:41:30.725 [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]
05:41:30.725 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND
05:41:30.725 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
05:41:30.726 [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;@526312f8', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:30.726 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:30.726 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 22 MB
05:41:30.726 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:30.726 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 213 MB
05:41:30.726 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:30.726 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:30.726 [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
05:41:32.595 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:32.595 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
05:41:32.636 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:41:32.637 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
05:41:32.677 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
05:41:32.915 [pool-700-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)
05:41:32.916 [pool-700-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:32.930 [pool-700-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:32.970 [pool-700-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
05:41:32.971 [pool-700-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
05:41:33.055 [pool-700-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
05:41:33.061 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:33.061 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:33.061 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
05:41:33.061 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 14
05:41:33.061 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 11
05:41:33.061 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
05:41:33.062 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:33.062 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:33.062 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:33.062 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
05:41:33.064 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2336ms
05:41:33.064 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:33.064 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:33.064 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
05:41:33.064 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
05:41:33.064 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
05:41:33.064 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:33.066 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
05:41:33.066 [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]
05:41:33.067 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:41:33.067 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
05:41:33.069 [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;@5b04cb96', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:33.070 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:33.070 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 74 MB
05:41:33.071 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:33.071 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 214 MB
05:41:33.071 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:33.071 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:33.071 [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
05:41:34.877 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:34.877 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
05:41:34.917 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:35.069 [pool-729-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)
05:41:35.070 [pool-729-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:35.081 [pool-729-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:35.145 [pool-729-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a)
05:41:35.145 [pool-729-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a)
05:41:35.247 [pool-729-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working
05:41:35.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:35.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:35.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
05:41:35.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 15
05:41:35.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 12
05:41:35.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
05:41:35.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:35.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:35.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:35.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
05:41:35.261 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2194ms
05:41:35.261 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:35.261 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:35.261 [main] INFO fr.inria.lille.repair.nopol.NoPol - 1 < (b - a)
05:41:35.261 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
05:41:35.261 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
05:41:35.261 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:35.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
05:41:35.266 [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]
05:41:35.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: COND_THEN_PRE
05:41:35.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
05:41:35.266 [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;@1345384e', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:35.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:35.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 127 MB
05:41:35.266 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:35.267 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 214 MB
05:41:35.267 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:35.267 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:35.267 [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
05:41:37.086 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:37.086 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
05:41:37.131 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
05:41:37.280 [pool-780-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)]
05:41:37.280 [pool-780-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>]
05:41:37.280 [pool-780-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]
05:41:37.280 [pool-780-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.
05:41:37.280 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:41:37.280 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
05:41:37.326 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:37.435 [pool-786-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)]
05:41:37.435 [pool-786-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>]
05:41:37.435 [pool-786-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]
05:41:37.435 [pool-786-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.
05:41:37.436 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
05:41:37.530 [pool-792-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)]
05:41:37.531 [pool-792-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>]
05:41:37.531 [pool-792-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]
05:41:37.531 [pool-792-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.
05:41:37.531 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
05:41:37.531 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
05:41:37.589 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:37.735 [pool-798-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)
05:41:37.735 [pool-798-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:37.746 [pool-798-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:37.798 [pool-798-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
05:41:37.798 [pool-798-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
05:41:37.855 [pool-798-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
05:41:37.864 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 19
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 13
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2598ms
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
05:41:37.865 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
05:41:37.866 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:37.872 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
05:41:37.873 [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]
05:41:37.873 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:41:37.873 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
05:41:37.873 [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;@2f9d9787', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:37.873 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:37.873 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 29 MB
05:41:37.873 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:37.873 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 214 MB
05:41:37.873 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:37.873 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:37.873 [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
05:41:39.793 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:39.793 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
05:41:39.828 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:41:39.829 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
05:41:39.868 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:40.006 [pool-840-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)]
05:41:40.007 [pool-840-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>]
05:41:40.007 [pool-840-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]
05:41:40.007 [pool-840-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.
05:41:40.009 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
05:41:40.009 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
05:41:40.050 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:40.216 [pool-846-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)
05:41:40.218 [pool-846-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:40.230 [pool-846-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:40.302 [pool-846-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
05:41:40.302 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 21
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 14
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2430ms
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
05:41:40.303 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:40.314 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
05:41:40.314 [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]
05:41:40.314 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND
05:41:40.314 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
05:41:40.314 [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;@5b48549', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:40.314 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:40.314 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 30 MB
05:41:40.314 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:40.314 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 212 MB
05:41:40.314 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:40.314 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:40.314 [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
05:41:42.267 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:42.267 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
05:41:42.317 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
05:41:42.435 [pool-879-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)]
05:41:42.435 [pool-879-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>]
05:41:42.435 [pool-879-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]
05:41:42.435 [pool-879-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.
05:41:42.435 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:41:42.435 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
05:41:42.494 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
05:41:42.634 [pool-885-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)]
05:41:42.634 [pool-885-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>]
05:41:42.634 [pool-885-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]
05:41:42.634 [pool-885-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.
05:41:42.634 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:42.751 [pool-891-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)]
05:41:42.752 [pool-891-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>]
05:41:42.752 [pool-891-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]
05:41:42.752 [pool-891-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.
05:41:42.752 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
05:41:42.752 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
05:41:42.794 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
05:41:42.936 [pool-897-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)]
05:41:42.937 [pool-897-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]
05:41:42.937 [pool-897-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]
05:41:42.937 [pool-897-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.
05:41:42.937 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:41:43.099 [pool-903-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)
05:41:43.099 [pool-903-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:43.110 [pool-903-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:43.160 [pool-903-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
05:41:43.160 [pool-903-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
05:41:43.238 [pool-903-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
05:41:43.250 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:43.251 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:43.251 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
05:41:43.251 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 26
05:41:43.251 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 15
05:41:43.251 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
05:41:43.251 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:43.251 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:43.251 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:43.252 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
05:41:43.253 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2936ms
05:41:43.253 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:43.253 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:43.253 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
05:41:43.253 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
05:41:43.253 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
05:41:43.254 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:43.261 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
05:41:43.262 [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]
05:41:43.262 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: COND_THEN_PRE
05:41:43.267 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
05:41:43.267 [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;@2264b408', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:41:43.268 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:41:43.268 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 127 MB
05:41:43.268 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:41:43.269 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 211 MB
05:41:43.269 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:41:43.270 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:41:43.270 [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
05:41:45.151 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:41:45.151 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
05:41:45.202 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:41:45.202 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
05:41:45.255 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
05:41:45.413 [pool-945-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)
05:41:45.414 [pool-945-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:45.423 [pool-945-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:45.455 [pool-945-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
05:41:45.455 [pool-945-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
05:41:45.511 [pool-945-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
05:41:45.516 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:41:45.516 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
05:41:45.516 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
05:41:45.516 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 27
05:41:45.516 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 16
05:41:45.516 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
05:41:45.516 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:41:45.516 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:41:45.517 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:41:45.517 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
05:41:45.517 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2255ms
05:41:45.517 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:41:45.517 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:41:45.517 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
05:41:45.517 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
05:41:45.517 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
05:41:45.517 [main] INFO fr.inria.lille.repair.nopol.NoPol -
Tests run: 15, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 33.896 sec
Running fr.inria.lille.commons.smt.SMTLibTest
Tests run: 32, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.22 sec
Running fr.inria.lille.commons.smt.SMTLibEqualVisitorTest
05:41:45.757 [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.017 sec
Running fr.inria.lille.commons.smt.ComparisonTest
Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 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: {}
05:41:46.176 [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>)
05:41:46.176 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:41:46.188 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:41:46.213 [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
05:41:46.354 [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
05:41:46.632 [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
05:42:13.788 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Failed code synthesis, returning NullCodeGenesis
05:42:13.857 [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>)
05:42:13.858 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:42:13.868 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:42:13.895 [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: 28.79 sec
Running fr.inria.lille.commons.synthesis.CodeSynthesisTest
05:42:14.561 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {}. outcome: 0 (<unknown>)
constraint: {}. outcome: 0 (<unknown>)
05:42:14.562 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:42:14.575 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0
05:42:14.586 [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>)
05:42:14.586 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:42:14.615 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
?: of arity: 3
05:42:14.643 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == ((cond)?(size):(0))
05:42:14.652 [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>)
05:42:14.652 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:42:14.664 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: array.length
05:42:14.672 [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>)
05:42:14.672 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:42:14.691 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: value == letter
05:42:14.695 [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>)
05:42:14.695 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:42:14.721 [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
05:42:14.835 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: q + p <= n
05:42:14.845 [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>)
05:42:14.845 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
+ of arity: 2
- of arity: 2
05:42:14.863 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: array.length + iterations
05:42:14.866 [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>)
05:42:14.866 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:42:14.894 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: iterations <= array.length
05:42:14.900 [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>)
05:42:14.900 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
?: of arity: 3
05:42:14.915 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
?: of arity: 3
+ of arity: 2
- of arity: 2
05:42:14.969 [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.424 sec
Running fr.inria.lille.commons.synthesis.smt.constraint.ConstraintTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.056 sec
Running fr.inria.lille.commons.synthesis.LocationVariableContainerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 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.001 sec
Running fr.inria.lille.evo.TestPatchEvo
05:42:15.042 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
05:42:15.042 [main] DEBUG fr.inria.lille.evo.Main - ##### launch nopol without new tests #####
05:42:15.042 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
05:42:15.042 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
05:42:15.042 [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
05:42:15.042 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@583c5a64
05:42:15.042 [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]
05:42:15.042 [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]
05:42:15.043 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:42:15.043 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest]
05:42:15.043 [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;@596636f6', projectTests=[evo_examples.evo_example_1.EvoExampleTest], complianceLevel=7, outputFolder=./, json=false}
05:42:15.043 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:42:15.043 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 77 MB
05:42:15.043 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:42:15.043 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 213 MB
05:42:15.043 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:42:15.043 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:42:15.043 [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
05:42:17.583 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:42:17.583 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 3 tests
1314309581
05:42:17.625 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:42:17.626 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 5 tests
1314309581
05:42:17.660 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:42:17.809 [pool-974-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)
05:42:17.809 [pool-974-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:42:17.819 [pool-974-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:42:17.845 [pool-974-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: number < -1
05:42:17.845 [pool-974-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
05:42:17.907 [pool-974-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "number < -1" is working
05:42:17.912 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:42:17.923 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 60
05:42:17.924 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 285
05:42:17.924 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 28
05:42:17.925 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 17
05:42:17.925 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 4
05:42:17.926 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:42:17.927 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:42:17.928 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:42:17.928 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
05:42:17.929 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2870ms
05:42:17.929 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:42:17.930 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:42:17.931 [main] INFO fr.inria.lille.repair.nopol.NoPol - number < -1
05:42:17.932 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 5
05:42:17.932 [main] INFO fr.inria.lille.repair.nopol.NoPol - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL
05:42:17.962 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- /builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
+++ /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;
05:42:17.964 [main] DEBUG fr.inria.lille.evo.Main - ### ----- PATCH FOUND -----
05:42:17.965 [main] DEBUG fr.inria.lille.evo.Main - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
05:42:17.965 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
05:42:17.966 [main] DEBUG fr.inria.lille.evo.Main - ##### Search tests files path #####
05:42:18.236 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] evo_examples.evo_example_1.EvoExampleGeneratedTest
05:42:18.237 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
05:42:18.237 [main] DEBUG fr.inria.lille.evo.Main - ##### Search tests methods #####
05:42:18.436 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] test_evo_example_generated_1()
05:42:18.436 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] test_evo_example_generated_0()
05:42:18.437 [main] DEBUG fr.inria.lille.evo.Main - ###########################################
05:42:18.437 [main] DEBUG fr.inria.lille.evo.Main - ######## start to try each methods ########
05:42:18.437 [main] DEBUG fr.inria.lille.evo.Main - ###########################################
05:42:18.437 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
05:42:18.437 [main] DEBUG fr.inria.lille.evo.Main - # TEST METHOD : test_evo_example_generated_1()
05:42:18.437 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
05:42:18.437 [main] DEBUG fr.inria.lille.evo.Main - ### Remove EvoSuite & Recompile Tests
05:42:18.628 [main] DEBUG fr.inria.lille.evo.Main - ### Launch Nopol
05:42:18.629 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
05:42:18.630 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
05:42:18.630 [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
05:42:18.631 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@6ed94104
05:42:18.632 [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]
05:42:18.633 [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]
05:42:18.633 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:42:18.634 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest]
05:42:18.634 [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;@3cb7f7bc', projectTests=[evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest], complianceLevel=7, outputFolder=./, json=false}
05:42:18.635 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:42:18.636 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 27 MB
05:42:18.636 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:42:18.637 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 212 MB
05:42:18.637 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:42:18.638 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:42:18.638 [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
05:42:20.802 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:42:20.802 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 4 tests
1314309581
05:42:20.845 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:42:20.845 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 6 tests
1314309581
05:42:20.901 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:42:21.049 [pool-997-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)
05:42:21.050 [pool-997-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:42:21.060 [pool-997-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:42:21.101 [pool-997-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
05:42:21.221 [pool-997-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
05:42:21.866 [pool-997-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
05:42:58.377 [pool-997-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Failed code synthesis, returning NullCodeGenesis
05:42:58.378 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:42:58.386 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 61
05:42:58.387 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 286
05:42:58.388 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 29
05:42:58.388 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 18
05:42:58.388 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 4
05:42:58.388 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 5
05:42:58.388 [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]
05:42:58.388 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 14
05:42:58.388 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
05:42:58.388 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 39746ms
05:42:58.388 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:42:58.388 [main] DEBUG fr.inria.lille.evo.Main - ### ----- NO PATCH FOUND -----
05:42:58.388 [main] DEBUG fr.inria.lille.evo.Main - ### METHOD REMOVED : test_evo_example_generated_1()
05:42:58.388 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
05:42:58.388 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
05:42:58.388 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
05:42:58.388 [main] DEBUG fr.inria.lille.evo.Main - # TEST METHOD : test_evo_example_generated_0()
05:42:58.389 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
05:42:58.389 [main] DEBUG fr.inria.lille.evo.Main - ### Remove EvoSuite & Recompile Tests
05:42:58.492 [main] DEBUG fr.inria.lille.evo.Main - ### Launch Nopol
05:42:58.493 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
05:42:58.493 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
05:42:58.494 [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
05:42:58.494 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@6ed94104
05:42:58.495 [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]
05:42:58.495 [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]
05:42:58.495 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
05:42:58.495 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest]
05:42:58.496 [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;@73682cb3', projectTests=[evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest], complianceLevel=7, outputFolder=./, json=false}
05:42:58.496 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
05:42:58.497 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 18 MB
05:42:58.497 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
05:42:58.498 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 208 MB
05:42:58.498 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
05:42:58.498 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
05:42:58.499 [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
05:43:00.581 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
05:43:00.581 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 3 tests
1314309581
05:43:00.617 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
05:43:00.618 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 6 tests
1314309581
05:43:00.662 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
05:43:00.791 [pool-1018-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)
05:43:00.792 [pool-1018-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
05:43:00.803 [pool-1018-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
05:43:00.831 [pool-1018-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: number < 1
05:43:00.831 [pool-1018-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
05:43:00.880 [pool-1018-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "number < 1" is working
05:43:00.888 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
05:43:00.895 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 61
05:43:00.895 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 286
05:43:00.895 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 30
05:43:00.896 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 19
05:43:00.896 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
05:43:00.896 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
05:43:00.896 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
05:43:00.897 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
05:43:00.897 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
05:43:00.897 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2393ms
05:43:00.897 [main] INFO fr.inria.lille.repair.nopol.NoPol -
05:43:00.898 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
05:43:00.898 [main] INFO fr.inria.lille.repair.nopol.NoPol - number < 1
05:43:00.898 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
05:43:00.898 [main] INFO fr.inria.lille.repair.nopol.NoPol - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL
05:43:00.900 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- /builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
+++ /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;
05:43:00.901 [main] DEBUG fr.inria.lille.evo.Main - ### ----- PATCH FOUND -----
05:43:00.901 [main] DEBUG fr.inria.lille.evo.Main - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
05:43:00.902 [main] DEBUG fr.inria.lille.evo.Main - ### METHOD KEPT : test_evo_example_generated_0()
05:43:00.902 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
05:43:00.902 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
05:43:00.903 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_0 <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
05:43:00.903 [main] DEBUG fr.inria.lille.evo.Main - ### End of program. Recompile keeping all good tests
05:43:00.980 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
05:43:00.982 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
05:43:00.982 [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: 45.974 sec
Running fr.inria.lille.diff.PatchGeneratorTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.453 sec
Results :
Tests run: 362, 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 ---
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://spoon.gforge.inria.fr/repositories/snapshots/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
[INFO] Building jar: /builds/workspace/nopol/nopol/target/nopol-0.2-SNAPSHOT-jar-with-dependencies.jar
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 02:34 min
[INFO] Finished at: 2018-03-17T10:43:11+01:00
[INFO] Final Memory: 37M/220M
[INFO] ------------------------------------------------------------------------
Recording test results
Finished: SUCCESS
![[Jenkins]](/sos/static/99fe9f0d/images/svgs/logo.svg){kind=logo}
