Console Output
Skipping 149 KB..
Full Log04:39:26.443 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a.length()
04:39:26.457 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:26.459 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_4.NopolExampleTest#test7 iteration 0
04:39:26.460 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-150333333"
04:39:26.462 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a="-150333333"
04:39:26.462 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1
04:39:26.462 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:26.462 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_4.NopolExample(id=460)
04:39:26.463 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:26.464 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] initializedVariableShouldBeCollected
04:39:26.465 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] otherInitializedVariableShouldBeCollected
04:39:26.474 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a.length()
04:39:26.485 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit
04:39:26.486 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 8 elements
04:39:26.487 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 21 evaluated elements
========= Info ==========
Nb constants 5
Nb method invocations 1
Nb field access 0
Nb variables 2
Total 8
Nb evaluated expressions 11
Init Execution time 363 ms
Collect Execution time 312 ms
Combine Execution time 2.0 ms
Nb Combination par sec 5500 combinations/sec
Total Execution time 677 ms
Nb line execution 8
Nb results 1
Results:
1. a.length() != 1
========================
Stat
========================
Operators:
EQ 3
MOD 1
Methods:
parseInt(java.lang.String) 1
length() 1
charAt(int) 1
substring(int) 1
Variable:
a 5
otherInitializedVariableShouldBeCollected 1
result 1
& 5 & 1 & 0 & 2 & 8 & 11 & 677 ms & 8 &
basic: 1, initializedVariableShouldBeCollected, otherInitializedVariableShouldBeCollected, 0, null, a, this, a.length(),
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter7750348544491176938.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_5.NopolExampleTest#test4 nopol_examples.nopol_example_5.NopolExampleTest#test5 nopol_examples.nopol_example_5.NopolExampleTest#test2 nopol_examples.nopol_example_5.NopolExampleTest#test3 nopol_examples.nopol_example_5.NopolExampleTest#test6 nopol_examples.nopol_example_5.NopolExampleTest#test1
04:39:26.708 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent
04:39:26.757 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:26.765 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test4 iteration 0
04:39:26.766 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1
04:39:26.766 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1
04:39:26.766 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:26.767 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=329)
04:39:26.768 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:26.769 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r
04:39:26.770 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass
04:39:26.816 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:26.818 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test5 iteration 0
04:39:26.818 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1
04:39:26.818 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1
04:39:26.818 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:26.818 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=428)
04:39:26.819 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:26.819 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r
04:39:26.820 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass
04:39:26.824 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:26.826 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test2 iteration 0
04:39:26.828 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1
04:39:26.828 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1
04:39:26.828 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:26.828 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=431)
04:39:26.829 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:26.830 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r
04:39:26.830 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass
04:39:26.834 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:26.835 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test3 iteration 0
04:39:26.837 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1
04:39:26.837 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1
04:39:26.837 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:26.837 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=434)
04:39:26.837 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:26.838 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r
04:39:26.838 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass
04:39:26.844 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:26.845 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test6 iteration 0
04:39:26.845 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1
04:39:26.845 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1
04:39:26.845 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:26.845 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=437)
04:39:26.846 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:26.846 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r
04:39:26.847 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass
04:39:26.851 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:26.852 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_5.NopolExampleTest#test1 iteration 0
04:39:26.852 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] r=1
04:39:26.852 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 1=1
04:39:26.852 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:26.852 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_5.NopolExample(id=440)
04:39:26.853 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:26.853 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] r
04:39:26.854 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this.unreachableFromInnterStaticClass
04:39:26.857 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit
04:39:26.859 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 7 elements
04:39:26.859 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 28 evaluated elements
========= Info ==========
Nb constants 5
Nb method invocations 0
Nb field access 0
Nb variables 2
Total 7
Nb evaluated expressions 11
Init Execution time 267 ms
Collect Execution time 102 ms
Combine Execution time 2.0 ms
Nb Combination par sec 5500 combinations/sec
Total Execution time 371 ms
Nb line execution 6
Nb results 1
Results:
1. r <= a
========================
Stat
========================
Operators:
MUL 1
Methods:
Variable:
r 2
a 1
& 5 & 0 & 0 & 2 & 7 & 11 & 372 ms & 6 &
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter7750348544491176938.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_6.NopolExampleTest#test4 nopol_examples.nopol_example_6.NopolExampleTest#test5 nopol_examples.nopol_example_6.NopolExampleTest#test2 nopol_examples.nopol_example_6.NopolExampleTest#test3 nopol_examples.nopol_example_6.NopolExampleTest#test6 nopol_examples.nopol_example_6.NopolExampleTest#test1
04:39:27.108 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent
04:39:27.148 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.149 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test4 iteration 0
04:39:27.150 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=0
04:39:27.150 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=4
04:39:27.150 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.150 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=320)
04:39:27.150 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.151 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.198 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.199 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test5 iteration 0
04:39:27.200 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=1
04:39:27.200 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1
04:39:27.200 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.200 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=419)
04:39:27.201 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.201 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.224 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.226 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test2 iteration 0
04:39:27.227 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=5
04:39:27.228 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=3
04:39:27.228 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.228 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=441)
04:39:27.229 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.230 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.242 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.245 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test3 iteration 0
04:39:27.248 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=4
04:39:27.249 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=0
04:39:27.249 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.249 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=444)
04:39:27.251 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.252 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.264 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.266 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test6 iteration 0
04:39:27.267 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=0
04:39:27.268 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=-3
04:39:27.268 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.268 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=447)
04:39:27.269 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.270 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.278 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.280 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test1 iteration 0
04:39:27.280 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=3
04:39:27.281 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=5
04:39:27.281 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.281 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=450)
04:39:27.282 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.282 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.286 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit
04:39:27.288 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 6 elements
04:39:27.289 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] end 63 evaluated elements
========= Info ==========
Nb constants 3
Nb method invocations 0
Nb field access 0
Nb variables 3
Total 6
Nb evaluated expressions 29
Init Execution time 287 ms
Collect Execution time 139 ms
Combine Execution time 5.0 ms
Nb Combination par sec 5800 combinations/sec
Total Execution time 431 ms
Nb line execution 6
Nb results 1
Results:
1. a < b
========================
Stat
========================
Operators:
MINUS 2
GT 1
Methods:
Variable:
a 3
b 3
& 3 & 0 & 0 & 3 & 6 & 29 & 432 ms & 6 &
java -cp /builds/workspace/nopol/nopol/../test-projects/target/test-classes:/builds/workspace/nopol/nopol/../test-projects/target/classes:/builds/workspace/nopol/nopol/lib/junit-4.11.jar:/builds/workspace/nopol/nopol/target/surefire/surefirebooter7750348544491176938.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.8.3/org.jacoco.agent-0.8.3-runtime.jar: fr.inria.lille.repair.MethodTestRunner nopol_examples.nopol_example_8.NopolExampleTest#test_4 nopol_examples.nopol_example_8.NopolExampleTest#test_3 nopol_examples.nopol_example_8.NopolExampleTest#test_2 nopol_examples.nopol_example_8.NopolExampleTest#test_1 nopol_examples.nopol_example_8.NopolExampleTest#test_11 nopol_examples.nopol_example_8.NopolExampleTest#test_9 nopol_examples.nopol_example_8.NopolExampleTest#test_10 nopol_examples.nopol_example_8.NopolExampleTest#test_8 nopol_examples.nopol_example_8.NopolExampleTest#test_7 nopol_examples.nopol_example_8.NopolExampleTest#test_6 nopol_examples.nopol_example_8.NopolExampleTest#test_5
04:39:27.595 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent
04:39:27.658 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.660 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_4 iteration 0
04:39:27.661 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=7.0
04:39:27.662 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=8.0
04:39:27.662 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
04:39:27.662 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.662 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=329)
04:39:27.663 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.663 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.699 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.701 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_3 iteration 0
04:39:27.703 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=50.0
04:39:27.704 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0
04:39:27.704 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
04:39:27.704 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.704 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=418)
04:39:27.706 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.707 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.713 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.715 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_2 iteration 0
04:39:27.716 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=2.0
04:39:27.716 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0
04:39:27.716 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
04:39:27.716 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.717 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=421)
04:39:27.717 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.717 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.728 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.730 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_1 iteration 0
04:39:27.731 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=5.0
04:39:27.733 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=5.0
04:39:27.733 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
04:39:27.733 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.733 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=434)
04:39:27.733 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.736 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.750 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.752 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_9 iteration 0
04:39:27.753 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=101.0
04:39:27.755 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0
04:39:27.755 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
04:39:27.755 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.755 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=440)
04:39:27.756 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.757 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.770 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.772 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_10 iteration 0
04:39:27.773 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=8451.0
04:39:27.774 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=4897.0
04:39:27.774 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
04:39:27.774 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.775 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=443)
04:39:27.775 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.776 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.791 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.794 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_8 iteration 0
04:39:27.795 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=50.0
04:39:27.797 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0
04:39:27.797 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
04:39:27.797 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.797 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=446)
04:39:27.798 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.799 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.809 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.811 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_7 iteration 0
04:39:27.812 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=5.0
04:39:27.814 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0
04:39:27.814 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
04:39:27.814 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.814 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=449)
04:39:27.815 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.815 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.826 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.828 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_6 iteration 0
04:39:27.829 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=0.0
04:39:27.830 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0
04:39:27.830 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
04:39:27.830 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.830 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=452)
04:39:27.832 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.833 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.841 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
04:39:27.843 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_5 iteration 0
04:39:27.844 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=9.0
04:39:27.845 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=9.0
04:39:27.845 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
04:39:27.845 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
04:39:27.846 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=455)
04:39:27.846 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
04:39:27.847 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
04:39:27.854 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit
04:39:27.855 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 7 elements
04:39:28.129 [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 359 ms
Collect Execution time 202 ms
Combine Execution time 275.0 ms
Nb Combination par sec 97076 combinations/sec
Total Execution time 836 ms
Nb line execution 10
Nb results 1
Results:
1. (a * b) <= 100
========================
Stat
========================
Operators:
LT 1
MUL 1
Methods:
Variable:
a 1
b 1
& 4 & 0 & 0 & 3 & 7 & 26696 & 836 ms & 10 &
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.211 sec
Running fr.inria.lille.repair.spoon.ConditionnalInstrumenterTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.516 sec
Running fr.inria.lille.repair.expression.ExpressionTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.014 sec
Running fr.inria.lille.repair.nopol.TseEvaluationTest
Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.042 sec
Running fr.inria.lille.repair.nopol.Defects4jEvaluationMathTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 sec
Running fr.inria.lille.repair.nopol.Defects4jEvaluationTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.017 sec
Running fr.inria.lille.repair.nopol.NopolTest
04:39:28.747 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
04:39:28.747 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:28.747 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:28.747 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
04:39:28.747 [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;@25d227bf', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:28.747 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:28.747 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 154 MB
04:39:28.747 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:28.747 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 227 MB
04:39:28.748 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:28.748 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:28.748 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:30.607 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:30.608 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
04:39:30.667 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:30.668 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
04:39:30.711 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:30.810 [pool-331-thread-1] DEBUG tests.output - Failing tests with false:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:30.811 [pool-331-thread-1] DEBUG tests.output - Failing tests with true:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:30.811 [pool-331-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:30.811 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:30.811 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
04:39:30.853 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:31.112 [pool-337-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:31.149 [pool-337-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:31.222 [pool-337-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:31.222 [pool-337-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
04:39:31.314 [pool-337-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 6
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 3
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2579ms
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:31.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:31.327 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:31.327 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
- if ( index == 0 ) // Fix index <= 0
- return s.charAt(0);
+ if ( index < 0) // Fix index <= 0
+ return s.charAt(0);
04:39:31.333 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:31.334 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:31.334 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:31.334 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:31.334 [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;@795f2c73', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:31.334 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:31.334 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 120 MB
04:39:31.334 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:31.334 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 231 MB
04:39:31.334 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:31.334 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:31.334 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:33.232 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:33.232 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
04:39:33.265 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:33.431 [pool-377-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:33.445 [pool-377-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:33.510 [pool-377-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a)
04:39:33.510 [pool-377-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a)
04:39:33.630 [pool-377-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working
04:39:33.662 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:33.663 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:33.663 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 7
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 4
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2329ms
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - 1 < (b - a)
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:33.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:33.671 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
public int getMax(int a, int b){
- if ( (b - a) < 0 ){ // Fix a < b
+ if ( 1 < (b - a)){ // Fix a < b
return b;
04:39:33.683 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_3]
04:39:33.684 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:33.685 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:33.685 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_3.NopolExampleTest]
04:39:33.685 [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;@37a3144e', projectTests=[nopol_examples.nopol_example_3.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:33.688 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:33.688 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 152 MB
04:39:33.688 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:33.688 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 230 MB
04:39:33.688 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:33.688 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:33.688 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:35.541 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:35.542 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_3.NopolExample:11 which is executed by 9 tests
-126608641
04:39:35.617 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:35.790 [pool-421-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:35.799 [pool-421-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:35.836 [pool-421-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == tmp
04:39:35.836 [pool-421-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL 0 == tmp
04:39:35.923 [pool-421-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "0 == tmp" is working
04:39:35.943 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:35.943 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:35.943 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 3
04:39:35.943 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 8
04:39:35.943 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 5
04:39:35.943 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 9
04:39:35.943 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:35.944 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:35.944 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:35.944 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 12
04:39:35.944 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2260ms
04:39:35.944 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:35.944 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:35.944 [main] INFO fr.inria.lille.repair.nopol.NoPol - 0 == tmp
04:39:35.944 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:35.944 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL
04:39:35.945 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_3/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_3/NopolExample.java
@@ -10,3 +10,3 @@
- if ( tmp != 0 ){ // Fix : tmp == 0
+ if ( 0 == tmp){ // Fix : tmp == 0
return true;
04:39:35.956 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
04:39:35.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:35.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRECONDITION
04:39:35.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
04:39:35.957 [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;@8d08b17', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:35.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:35.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 71 MB
04:39:35.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:35.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 230 MB
04:39:35.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:35.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:35.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:37.707 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:37.707 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
04:39:37.741 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:37.741 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
04:39:37.778 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:37.952 [pool-469-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:37.967 [pool-469-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:37.993 [pool-469-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
04:39:37.993 [pool-469-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
04:39:38.086 [pool-469-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 9
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 6
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2138ms
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:38.094 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
04:39:38.095 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
@@ -19,3 +19,5 @@
// FIX : precondition missing : if ( -1<a )
- r = -1;
+ if (-1 < a) {
+ r = -1;
+ }
return r*a;
04:39:38.101 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_6]
04:39:38.101 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:38.101 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:38.101 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_6.NopolExampleTest]
04:39:38.101 [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;@3884f72d', projectTests=[nopol_examples.nopol_example_6.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:38.101 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:38.101 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 107 MB
04:39:38.101 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:38.101 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 230 MB
04:39:38.101 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:38.101 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:38.101 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:39.895 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:39.895 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_6.NopolExample:7 which is executed by 6 tests
-126608641
04:39:39.934 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:40.106 [pool-497-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:40.119 [pool-497-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:40.153 [pool-497-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: a < b
04:39:40.153 [pool-497-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_6.NopolExample:7: CONDITIONAL a < b
04:39:40.244 [pool-497-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "a < b" is working
04:39:40.256 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:40.256 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:40.256 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:40.256 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 10
04:39:40.256 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 7
04:39:40.256 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:40.257 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:40.257 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:40.257 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:40.257 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:40.257 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2155ms
04:39:40.257 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:40.257 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:40.257 [main] INFO fr.inria.lille.repair.nopol.NoPol - a < b
04:39:40.257 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:40.257 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_6.NopolExample:7: CONDITIONAL
04:39:40.257 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_6/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_6/NopolExample.java
@@ -6,3 +6,3 @@
{
- if (a > b) { // FIX: if(a < b)
+ if (a < b) { // FIX: if(a < b)
return b - a;
04:39:40.275 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_7]
04:39:40.275 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:40.275 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:40.275 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_7.NopolExampleTest]
04:39:40.275 [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;@91f805a', projectTests=[nopol_examples.nopol_example_7.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:40.275 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:40.275 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 151 MB
04:39:40.275 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:40.275 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 230 MB
04:39:40.275 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:40.275 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:40.276 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:42.127 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:42.127 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:22 which is executed by 4 tests
-126608641
04:39:42.198 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:42.198 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:21 which is executed by 30 tests
-126608641
04:39:42.241 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:42.416 [pool-528-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:42.428 [pool-528-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:42.571 [pool-528-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:39:42.788 [pool-528-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (intermediaire == 0) && (3 < a)
04:39:42.788 [pool-528-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL (intermediaire == 0) && (3 < a)
04:39:42.870 [pool-528-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(intermediaire == 0) && (3 < a)" is working
04:39:42.901 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 11
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 8
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 26
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 3
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [7] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2, ! of arity: 1, || of arity: 2, && of arity: 2]
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 7
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 9
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2626ms
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - (intermediaire == 0) && (3 < a)
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 30
04:39:42.902 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL
04:39:42.903 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_7/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_7/NopolExample.java
@@ -20,4 +20,4 @@
// FIX if ( intermediaire == 0 && a!=2)
- if ( intermediaire == 0 )
- return false;
+ if ( (intermediaire == 0) && (3 < a))
+ return false;
04:39:42.911 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_8]
04:39:42.912 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:42.912 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:42.912 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_8.NopolExampleTest]
04:39:42.912 [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;@92206ee', projectTests=[nopol_examples.nopol_example_8.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:42.912 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:42.912 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 150 MB
04:39:42.912 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:42.912 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 232 MB
04:39:42.912 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:42.912 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:42.912 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:44.534 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:44.535 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:15 which is executed by 5 tests
-126608641
04:39:44.578 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:44.579 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:12 which is executed by 10 tests
-126608641
04:39:44.607 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:44.715 [pool-648-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:44.728 [pool-648-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:44.774 [pool-648-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (a * b) <= 100
04:39:44.774 [pool-648-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL (a * b) <= 100
04:39:44.827 [pool-648-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a * b) <= 100" is working
04:39:44.846 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:44.846 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 12
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 9
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 10
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 10
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1935ms
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - (a * b) <= 100
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 10
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL
04:39:44.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_8/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_8/NopolExample.java
@@ -11,4 +11,4 @@
// if ( a * b <= 100) // FIX
- if ( a * b < 100)
- return true;
+ if ( (a * b) <= 100)
+ return true;
04:39:44.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:44.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:44.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:44.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:44.848 [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;@24e84a4e', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:44.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:44.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 173 MB
04:39:44.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:44.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 231 MB
04:39:44.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:44.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:44.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:44.881 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:44.881 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:44.881 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:44.881 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:44.882 [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;@24e84a4e', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:44.882 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:44.882 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 156 MB
04:39:44.882 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:44.882 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 231 MB
04:39:44.883 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:44.883 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:44.883 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:46.536 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:46.536 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
04:39:46.586 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:46.729 [pool-691-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:46.741 [pool-691-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:46.765 [pool-691-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (b - a) == 2
04:39:46.765 [pool-691-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (b - a) == 2
04:39:46.844 [pool-691-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(b - a) == 2" is working
04:39:46.847 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:46.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:46.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:46.848 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 13
04:39:46.849 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 10
04:39:46.849 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 2
04:39:46.849 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:46.849 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:46.849 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:46.850 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
04:39:46.850 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1966ms
04:39:46.850 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:46.851 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:46.851 [main] INFO fr.inria.lille.repair.nopol.NoPol - (b - a) == 2
04:39:46.852 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:46.852 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:46.854 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
public int getMax(int a, int b){
- if ( (b - a) < 0 ){ // Fix a < b
+ if ( (b - a) == 2){ // Fix a < b
return b;
04:39:46.857 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
04:39:46.858 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:46.858 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND
04:39:46.858 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
04:39:46.858 [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;@7131fca7', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:46.859 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:46.859 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 86 MB
04:39:46.859 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:46.860 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 230 MB
04:39:46.860 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:46.860 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:46.860 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:48.437 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:48.437 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
04:39:48.471 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:48.472 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
04:39:48.507 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:48.639 [pool-710-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:48.652 [pool-710-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:48.677 [pool-710-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
04:39:48.677 [pool-710-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
04:39:48.758 [pool-710-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
04:39:48.766 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 14
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 11
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 1909ms
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:48.767 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
04:39:48.768 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
@@ -19,3 +19,5 @@
// FIX : precondition missing : if ( -1<a )
- r = -1;
+ if (-1 < a) {
+ r = -1;
+ }
return r*a;
04:39:48.768 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
04:39:48.768 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:48.769 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:48.769 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
04:39:48.769 [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;@7b5706e9', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:48.769 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:48.769 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 119 MB
04:39:48.769 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:48.769 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 232 MB
04:39:48.769 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:48.769 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:48.769 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:50.567 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:50.567 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
-126608641
04:39:50.621 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:50.800 [pool-737-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:50.822 [pool-737-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:50.869 [pool-737-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a)
04:39:50.869 [pool-737-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a)
04:39:50.980 [pool-737-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working
04:39:50.985 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 15
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 12
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2217ms
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - 1 < (b - a)
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:50.986 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
04:39:50.987 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_2/NopolExample.java
@@ -10,3 +10,3 @@
public int getMax(int a, int b){
- if ( (b - a) < 0 ){ // Fix a < b
+ if ( 1 < (b - a)){ // Fix a < b
return b;
04:39:50.995 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
04:39:50.995 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:50.995 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: COND_THEN_PRE
04:39:50.995 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
04:39:50.996 [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;@6f8d73ee', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:50.996 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:50.996 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 161 MB
04:39:50.996 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:50.996 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 233 MB
04:39:50.996 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:50.996 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:50.996 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:52.758 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:52.759 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
04:39:52.789 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:52.885 [pool-781-thread-1] DEBUG tests.output - Failing tests with false:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:52.886 [pool-781-thread-1] DEBUG tests.output - Failing tests with true:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:52.886 [pool-781-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:16.
04:39:52.886 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:52.886 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
04:39:52.918 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:52.990 [pool-787-thread-1] DEBUG tests.output - Failing tests with false:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:52.991 [pool-787-thread-1] DEBUG tests.output - Failing tests with true:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:52.991 [pool-787-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:52.991 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:53.064 [pool-793-thread-1] DEBUG tests.output - Failing tests with false:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:53.064 [pool-793-thread-1] DEBUG tests.output - Failing tests with true:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:53.064 [pool-793-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:53.064 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:53.064 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
04:39:53.114 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:53.277 [pool-799-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:53.288 [pool-799-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:53.333 [pool-799-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:53.333 [pool-799-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
04:39:53.396 [pool-799-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
04:39:53.410 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 19
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 13
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2415ms
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:53.411 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:53.412 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
- if ( index == 0 ) // Fix index <= 0
- return s.charAt(0);
+ if ( index < 0) // Fix index <= 0
+ return s.charAt(0);
04:39:53.416 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
04:39:53.416 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:53.416 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:39:53.416 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
04:39:53.416 [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;@68513aaf', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:53.416 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:53.416 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 69 MB
04:39:53.416 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:53.416 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 231 MB
04:39:53.416 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:53.416 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:53.416 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:55.047 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:55.047 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
04:39:55.084 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:55.084 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
04:39:55.123 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:55.221 [pool-839-thread-1] DEBUG tests.output - Failing tests with false:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:55.221 [pool-839-thread-1] DEBUG tests.output - Failing tests with true:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:55.221 [pool-839-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:55.221 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:55.221 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
04:39:55.261 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:55.392 [pool-845-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:55.402 [pool-845-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:55.449 [pool-845-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 21
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 14
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2033ms
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:55.449 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:55.450 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:55.452 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
- if ( index == 0 ) // Fix index <= 0
- return s.charAt(0);
+ if ( index < 0) // Fix index <= 0
+ return s.charAt(0);
04:39:55.455 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
04:39:55.455 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:55.455 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND
04:39:55.455 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
04:39:55.456 [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;@4d8a1d94', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:55.456 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:55.456 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 76 MB
04:39:55.456 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:55.457 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 230 MB
04:39:55.457 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:55.457 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:55.457 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:57.131 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:57.131 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
-126608641
04:39:57.162 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:57.278 [pool-876-thread-1] DEBUG tests.output - Failing tests with false:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:57.278 [pool-876-thread-1] DEBUG tests.output - Failing tests with true:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:57.278 [pool-876-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:16.
04:39:57.278 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:57.278 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
-126608641
04:39:57.329 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:57.415 [pool-882-thread-1] DEBUG tests.output - Failing tests with false:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:57.415 [pool-882-thread-1] DEBUG tests.output - Failing tests with true:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:57.415 [pool-882-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:57.415 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:57.503 [pool-888-thread-1] DEBUG tests.output - Failing tests with false:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<a> but was:<d>]
04:39:57.504 [pool-888-thread-1] DEBUG tests.output - Failing tests with true:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:57.504 [pool-888-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:15.
04:39:57.504 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #3
04:39:57.504 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
-126608641
04:39:57.534 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:57.641 [pool-894-thread-1] DEBUG tests.output - Failing tests with false:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:57.642 [pool-894-thread-1] DEBUG tests.output - Failing tests with true:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
04:39:57.642 [pool-894-thread-1] INFO f.i.l.r.n.synth.SMTNopolSynthesizer - Not enough specifications: 0. A trivial patch is "true" or "false", please write new tests specifying SourceLocation nopol_examples.nopol_example_1.NopolExample:12.
04:39:57.642 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:39:57.804 [pool-900-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:57.818 [pool-900-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:57.872 [pool-900-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
04:39:57.872 [pool-900-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
04:39:57.937 [pool-900-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
04:39:57.945 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 26
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 15
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2490ms
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
04:39:57.946 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_1/NopolExample.java
@@ -11,4 +11,4 @@
- if ( index == 0 ) // Fix index <= 0
- return s.charAt(0);
+ if ( index < 0) // Fix index <= 0
+ return s.charAt(0);
04:39:57.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
04:39:57.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:39:57.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: COND_THEN_PRE
04:39:57.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
04:39:57.951 [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;@3cb86b48', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:39:57.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:39:57.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 63 MB
04:39:57.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:39:57.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 230 MB
04:39:57.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:39:57.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:39:57.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:39:59.644 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:39:59.644 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
-126608641
04:39:59.684 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:39:59.685 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
-126608641
04:39:59.722 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalAdder
04:39:59.861 [pool-940-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:39:59.870 [pool-940-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:39:59.895 [pool-940-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
04:39:59.895 [pool-940-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
04:39:59.951 [pool-940-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
04:39:59.960 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:39:59.960 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
04:39:59.960 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
04:39:59.960 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 27
04:39:59.961 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 16
04:39:59.962 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:39:59.962 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:39:59.962 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:39:59.962 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:39:59.962 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:39:59.962 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2009ms
04:39:59.962 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:39:59.963 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:39:59.963 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
04:39:59.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:39:59.964 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
04:39:59.965 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/nopol_examples/nopol_example_5/NopolExample.java
@@ -19,3 +19,5 @@
// FIX : precondition missing : if ( -1<a )
- r = -1;
+ if (-1 < a) {
+ r = -1;
+ }
return r*a;
Tests run: 15, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 31.224 sec
Running fr.inria.lille.commons.smt.SMTLibTest
Tests run: 32, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.199 sec
Running fr.inria.lille.commons.smt.SMTLibEqualVisitorTest
04:40:00.188 [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.021 sec
Running fr.inria.lille.commons.smt.ComparisonTest
Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec
Running fr.inria.lille.commons.trace.ValuesCollectorTest
Collected variables [aBoolean, reachableVariable]
Expected variables [aBoolean, reachableVariable]
Getters: {}
Collected variables [index, word, infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer]
Expected variables [word, index, infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer]
Getters: {infinitel_examples.infinitel_example_5.InfinitelExample.this.consumer=[getConsumed, getSize]}
Collected variables [nested.privateInstanceField, spoon.example.ClassToSpoon.privateStaticField, spoon.example.ClassToSpoon.this.protectedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.protectedStaticField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.privateNestedInstanceField, comparable.privateNestedInstanceField, comparable.publicNestedInstanceField, nested, nested.protectedInstanceField, nested.publicInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.publicStaticField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.protectedNestedInstanceField, spoon.example.ClassToSpoon.this.privateInstanceField, comparable, spoon.example.ClassToSpoon.NestedClassToSpoon.this.publicNestedInstanceField]
Expected variables [comparable, nested, comparable.privateNestedInstanceField, comparable.publicNestedInstanceField, comparable.protectedNestedInstanceField, spoon.example.ClassToSpoon.protectedStaticField, spoon.example.ClassToSpoon.privateStaticField, spoon.example.ClassToSpoon.publicStaticField, nested.publicInstanceField, nested.protectedInstanceField, nested.privateInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.protectedNestedInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.publicNestedInstanceField, spoon.example.ClassToSpoon.NestedClassToSpoon.this.privateNestedInstanceField, spoon.example.ClassToSpoon.this.publicInstanceField, spoon.example.ClassToSpoon.this.privateInstanceField, spoon.example.ClassToSpoon.this.protectedInstanceField]
Getters: {}
Collected variables [nopol_examples.nopol_example_2.NopolExample.1.this.limit]
Expected variables [nopol_examples.nopol_example_2.NopolExample.1.this.limit]
Getters: {}
04:40:00.620 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:00.629 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:00.647 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:40:00.780 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:01.034 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:40:25.071 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Failed code synthesis, returning NullCodeGenesis
04:40:25.144 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:25.162 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:25.197 [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: 25.731 sec
Running fr.inria.lille.commons.synthesis.CodeSynthesisTest
04:40:25.930 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:25.940 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0
04:40:25.948 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:25.972 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
?: of arity: 3
04:40:25.994 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == ((cond)?(size):(0))
04:40:25.998 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:26.007 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: array.length
04:40:26.011 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:26.027 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: value == letter
04:40:26.031 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:26.052 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
+ of arity: 2
- of arity: 2
04:40:26.124 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: q + p <= n
04:40:26.132 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
+ of arity: 2
- of arity: 2
04:40:26.150 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: array.length + iterations
04:40:26.155 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:26.183 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: iterations <= array.length
04:40:26.188 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
?: of arity: 3
04:40:26.203 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
?: of arity: 3
+ of arity: 2
- of arity: 2
04:40:26.247 [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.333 sec
Running fr.inria.lille.commons.synthesis.smt.constraint.ConstraintTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.05 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 sec
Running fr.inria.lille.evo.TestPatchEvo
04:40:26.317 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:26.317 [main] DEBUG fr.inria.lille.evo.Main - ##### launch nopol without new tests #####
04:40:26.317 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
04:40:26.318 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
04:40:26.318 [main] DEBUG fr.inria.lille.evo.Main - classpath = ../test-projects/target/classes:../test-projects/target/test-classes:src/test/resources/evo/destCpTest:lib/junit-4.11.jar
04:40:26.318 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@4b037259
04:40:26.318 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest]
04:40:26.318 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/src/test/resources/evo/destCpTest/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:40:26.319 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:40:26.320 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest]
04:40:26.320 [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;@791c8229', projectTests=[evo_examples.evo_example_1.EvoExampleTest], complianceLevel=7, outputFolder=./, json=false}
04:40:26.320 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:40:26.321 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 69 MB
04:40:26.321 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:40:26.321 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 231 MB
04:40:26.322 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:40:26.322 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:40:26.322 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:40:28.295 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:40:28.295 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 3 tests
1314309581
04:40:28.332 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:40:28.332 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 5 tests
1314309581
04:40:28.366 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:40:28.506 [pool-967-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:28.515 [pool-967-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:28.536 [pool-967-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: number < -1
04:40:28.536 [pool-967-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:40:28.593 [pool-967-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "number < -1" is working
04:40:28.597 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 60
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 285
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 28
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 17
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 4
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2279ms
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - number < -1
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 5
04:40:28.605 [main] INFO fr.inria.lille.repair.nopol.NoPol - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL
04:40:28.606 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
@@ -8,3 +8,3 @@
- if(number <= 1){
+ if(number < -1){
return 0;
04:40:28.607 [main] DEBUG fr.inria.lille.evo.Main - ### ----- PATCH FOUND -----
04:40:28.607 [main] DEBUG fr.inria.lille.evo.Main - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:40:28.607 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:28.607 [main] DEBUG fr.inria.lille.evo.Main - ##### Search tests files path #####
04:40:28.813 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] evo_examples.evo_example_1.EvoExampleGeneratedTest
04:40:28.814 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:28.814 [main] DEBUG fr.inria.lille.evo.Main - ##### Search tests methods #####
04:40:28.897 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] test_evo_example_generated_1()
04:40:28.898 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] test_evo_example_generated_0()
04:40:28.899 [main] DEBUG fr.inria.lille.evo.Main - ###########################################
04:40:28.899 [main] DEBUG fr.inria.lille.evo.Main - ######## start to try each methods ########
04:40:28.900 [main] DEBUG fr.inria.lille.evo.Main - ###########################################
04:40:28.900 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:28.901 [main] DEBUG fr.inria.lille.evo.Main - # TEST METHOD : test_evo_example_generated_1()
04:40:28.901 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:40:28.902 [main] DEBUG fr.inria.lille.evo.Main - ### Remove EvoSuite & Recompile Tests
04:40:29.198 [main] DEBUG fr.inria.lille.evo.Main - ### Launch Nopol
04:40:29.198 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
04:40:29.199 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
04:40:29.200 [main] DEBUG fr.inria.lille.evo.Main - classpath = ../test-projects/target/classes:../test-projects/target/test-classes:src/test/resources/evo/destCpTest:lib/junit-4.11.jar
04:40:29.201 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@6e444db0
04:40:29.202 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest]
04:40:29.202 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/src/test/resources/evo/destCpTest/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:40:29.203 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:40:29.204 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest]
04:40:29.204 [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;@7ffd4cea', projectTests=[evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest], complianceLevel=7, outputFolder=./, json=false}
04:40:29.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:40:29.206 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 83 MB
04:40:29.206 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:40:29.207 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 231 MB
04:40:29.208 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:40:29.208 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:40:29.209 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:40:31.208 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:40:31.208 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 4 tests
1314309581
04:40:31.249 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:40:31.249 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 6 tests
1314309581
04:40:31.283 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:40:31.408 [pool-989-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:40:31.417 [pool-989-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:31.445 [pool-989-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:40:31.557 [pool-989-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:40:32.126 [pool-989-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
! of arity: 1
|| of arity: 2
&& of arity: 2
04:41:03.868 [pool-989-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Failed code synthesis, returning NullCodeGenesis
04:41:03.868 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:41:03.875 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 61
04:41:03.875 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 286
04:41:03.876 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 29
04:41:03.876 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 18
04:41:03.876 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 4
04:41:03.876 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 5
04:41:03.876 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [14] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2, ! of arity: 1, || of arity: 2, && of arity: 2, == of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2, ! of arity: 1, || of arity: 2, && of arity: 2]
04:41:03.876 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 14
04:41:03.876 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:41:03.877 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 34666ms
04:41:03.877 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:41:03.877 [main] DEBUG fr.inria.lille.evo.Main - ### ----- NO PATCH FOUND -----
04:41:03.877 [main] DEBUG fr.inria.lille.evo.Main - ### METHOD REMOVED : test_evo_example_generated_1()
04:41:03.877 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:41:03.877 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
04:41:03.878 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:41:03.878 [main] DEBUG fr.inria.lille.evo.Main - # TEST METHOD : test_evo_example_generated_0()
04:41:03.878 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
04:41:03.878 [main] DEBUG fr.inria.lille.evo.Main - ### Remove EvoSuite & Recompile Tests
04:41:03.946 [main] DEBUG fr.inria.lille.evo.Main - ### Launch Nopol
04:41:03.947 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
04:41:03.948 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
04:41:03.948 [main] DEBUG fr.inria.lille.evo.Main - classpath = ../test-projects/target/classes:../test-projects/target/test-classes:src/test/resources/evo/destCpTest:lib/junit-4.11.jar
04:41:03.949 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@6e444db0
04:41:03.950 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java, ../test-projects/src/test/java, src/test/resources/evo/destSrcTest]
04:41:03.950 [main] INFO fr.inria.lille.repair.nopol.NoPol - Classpath: [file:/builds/workspace/nopol/nopol/../test-projects/target/classes/, file:/builds/workspace/nopol/nopol/../test-projects/target/test-classes/, file:/builds/workspace/nopol/nopol/src/test/resources/evo/destCpTest/, file:/builds/workspace/nopol/nopol/lib/junit-4.11.jar]
04:41:03.951 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
04:41:03.952 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest]
04:41:03.952 [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;@3db689e', projectTests=[evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest], complianceLevel=7, outputFolder=./, json=false}
04:41:03.953 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
04:41:03.953 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 72 MB
04:41:03.954 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
04:41:03.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 227 MB
04:41:03.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
04:41:03.956 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
04:41:03.956 [main] INFO fr.inria.lille.repair.nopol.NoPol - PATH: /builds/tools/hudson.model.JDK/JDK_8.0.151/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
04:41:05.977 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #1
04:41:05.977 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 3 tests
1314309581
04:41:06.020 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - statement #2
04:41:06.021 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 6 tests
1314309581
04:41:06.059 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - looking with class fr.inria.lille.repair.nopol.spoon.smt.ConditionalReplacer
04:41:06.205 [pool-1009-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
04:41:06.216 [pool-1009-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
04:41:06.244 [pool-1009-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: number < 1
04:41:06.244 [pool-1009-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
04:41:06.305 [pool-1009-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "number < 1" is working
04:41:06.316 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
04:41:06.323 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 61
04:41:06.324 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 286
04:41:06.325 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 30
04:41:06.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 19
04:41:06.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
04:41:06.326 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
04:41:06.327 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
04:41:06.327 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
04:41:06.327 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
04:41:06.328 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2366ms
04:41:06.328 [main] INFO fr.inria.lille.repair.nopol.NoPol -
04:41:06.328 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
04:41:06.329 [main] INFO fr.inria.lille.repair.nopol.NoPol - number < 1
04:41:06.329 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
04:41:06.329 [main] INFO fr.inria.lille.repair.nopol.NoPol - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL
04:41:06.330 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- a/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
+++ b/builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
@@ -8,3 +8,3 @@
- if(number <= 1){
+ if(number < 1){
return 0;
04:41:06.331 [main] DEBUG fr.inria.lille.evo.Main - ### ----- PATCH FOUND -----
04:41:06.331 [main] DEBUG fr.inria.lille.evo.Main - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
04:41:06.331 [main] DEBUG fr.inria.lille.evo.Main - ### METHOD KEPT : test_evo_example_generated_0()
04:41:06.332 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:41:06.333 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
04:41:06.333 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_0 <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
04:41:06.337 [main] DEBUG fr.inria.lille.evo.Main - ### End of program. Recompile keeping all good tests
04:41:06.410 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
04:41:06.412 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
04:41:06.413 [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: 40.16 sec
Running fr.inria.lille.diff.PatchGeneratorTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.602 sec
Results :
Tests run: 367, Failures: 0, Errors: 0, Skipped: 11
[INFO]
[INFO] --- jacoco-maven-plugin:0.8.3:report (report) @ nopol ---
[INFO] Loading execution data file /builds/workspace/nopol/nopol/target/jacoco.exec
[INFO] Analyzed bundle 'Nopol' with 322 classes
[INFO]
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ nopol ---
[INFO] Building jar: /builds/workspace/nopol/nopol/target/nopol-0.2-SNAPSHOT.jar
[INFO]
[INFO] --- maven-assembly-plugin:2.4:single (create-my-bundle) @ nopol ---
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.resources: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.expressions: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.runtime: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.osgi: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.common: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.jobs: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.registry: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.preferences: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.contenttype: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.equinox.app: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.filesystem: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.text: checking for updates from tdurieux.github.io/maven-repository/snapshots/
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from inria
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from sachaproject.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from gforge.inria.fr-snapshot
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from spoon.gforge.inria.fr-release
[INFO] artifact org.eclipse.platform:org.eclipse.core.commands: checking for updates from tdurieux.github.io/maven-repository/snapshots/
Adding org.apache.maven.shared.invoker.Invokerdefault
[INFO] Building jar: /builds/workspace/nopol/nopol/target/nopol-0.2-SNAPSHOT-jar-with-dependencies.jar
Component: org.apache.maven.shared.invoker.Invokerdefault is already defined. Skipping.
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 02:24 min
[INFO] Finished at: 2019-03-09T10:41:21+01:00
[INFO] Final Memory: 40M/218M
[INFO] ------------------------------------------------------------------------
Recording test results
Finished: SUCCESS
![[Jenkins]](/sos/static/99fe9f0d/images/svgs/logo.svg){kind=logo}
