Console Output
Skipping 106 KB..
Full Log11:02:46.485 [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 462 ms
Collect Execution time 103 ms
Combine Execution time 2.0 ms
Nb Combination par sec 5500 combinations/sec
Total Execution time 567 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 & 567 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/surefirebooter8233063969897653899.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-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
11:02:46.693 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent
11:02:46.864 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:46.867 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test4 iteration 0
11:02:46.868 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=0
11:02:46.868 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=4
11:02:46.868 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:46.869 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=320)
11:02:46.870 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:46.870 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:46.931 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:46.933 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test5 iteration 0
11:02:46.935 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=1
11:02:46.935 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1
11:02:46.936 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:46.936 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=419)
11:02:46.937 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:46.937 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:46.956 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:46.958 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test2 iteration 0
11:02:46.959 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=5
11:02:46.961 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=3
11:02:46.961 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:46.962 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=441)
11:02:46.963 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:46.963 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:46.970 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:46.974 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test3 iteration 0
11:02:46.975 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=4
11:02:46.976 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=0
11:02:46.976 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:46.976 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=444)
11:02:46.977 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:46.977 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:46.985 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:46.986 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test6 iteration 0
11:02:46.987 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=0
11:02:46.987 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=-3
11:02:46.987 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:46.988 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=447)
11:02:46.989 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:46.989 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:46.996 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:47.001 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_6.NopolExampleTest#test1 iteration 0
11:02:47.001 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=3
11:02:47.001 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=5
11:02:47.002 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:47.002 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_6.NopolExample(id=450)
11:02:47.003 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:47.003 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:47.010 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit
11:02:47.011 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 6 elements
11:02:47.012 [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 377 ms
Collect Execution time 147 ms
Combine Execution time 2.0 ms
Nb Combination par sec 14500 combinations/sec
Total Execution time 526 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 & 526 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/surefirebooter8233063969897653899.jar:/builds/.m2/repository/org/jacoco/org.jacoco.agent/0.7.5.201505241946/org.jacoco.agent-0.7.5.201505241946-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
11:02:47.301 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - ClassPrepareEvent
11:02:47.421 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:47.424 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_4 iteration 0
11:02:47.425 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=7.0
11:02:47.426 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=8.0
11:02:47.426 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
11:02:47.427 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:47.427 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=329)
11:02:47.428 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:47.430 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:47.478 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:47.481 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_3 iteration 0
11:02:47.482 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=50.0
11:02:47.483 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0
11:02:47.483 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
11:02:47.483 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:47.483 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=418)
11:02:47.484 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:47.485 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:47.494 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:47.496 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_2 iteration 0
11:02:47.503 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=2.0
11:02:47.505 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0
11:02:47.505 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
11:02:47.505 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:47.506 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=421)
11:02:47.507 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:47.508 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:47.530 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:47.532 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_1 iteration 0
11:02:47.533 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=5.0
11:02:47.534 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=5.0
11:02:47.535 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
11:02:47.535 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:47.535 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=434)
11:02:47.537 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:47.539 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:47.554 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:47.555 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_9 iteration 0
11:02:47.556 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=101.0
11:02:47.556 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0
11:02:47.556 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
11:02:47.556 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:47.556 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=440)
11:02:47.556 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:47.557 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:47.561 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:47.562 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_10 iteration 0
11:02:47.562 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=8451.0
11:02:47.562 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=4897.0
11:02:47.562 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
11:02:47.562 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:47.562 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=443)
11:02:47.563 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:47.563 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:47.568 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:47.569 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_8 iteration 0
11:02:47.570 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=50.0
11:02:47.571 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0
11:02:47.571 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
11:02:47.571 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:47.571 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=446)
11:02:47.575 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:47.575 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:47.588 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:47.589 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_7 iteration 0
11:02:47.589 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=5.0
11:02:47.590 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=50.0
11:02:47.590 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
11:02:47.590 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:47.590 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=449)
11:02:47.590 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:47.591 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:47.595 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:47.596 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_6 iteration 0
11:02:47.597 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=0.0
11:02:47.597 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=1.0
11:02:47.597 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
11:02:47.597 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:47.597 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=452)
11:02:47.597 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:47.598 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:47.604 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - BreakpointEvent
11:02:47.605 [main] INFO f.i.l.r.s.DynamothCodeGenesisImpl - [test] nopol_examples.nopol_example_8.NopolExampleTest#test_5 iteration 0
11:02:47.606 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] a=9.0
11:02:47.606 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] b=9.0
11:02:47.606 [main] DEBUG f.i.l.r.s.c.SpoonElementsCollector - [data] 100=100
11:02:47.606 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - Collect Level 1
11:02:47.606 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] this=instance of nopol_examples.nopol_example_8.NopolExample(id=455)
11:02:47.607 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] a
11:02:47.607 [main] DEBUG f.i.l.r.s.c.DynamothDataCollector - [data] b
11:02:47.619 [main] DEBUG f.i.l.r.s.DynamothCodeGenesisImpl - Exit
11:02:47.621 [main] DEBUG f.i.l.r.s.collect.DataCombiner - [combine] start on 7 elements
11:02:47.892 [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 408 ms
Collect Execution time 198 ms
Combine Execution time 281.0 ms
Nb Combination par sec 95004 combinations/sec
Total Execution time 888 ms
Nb line execution 10
Nb results 1
Results:
1. (a * b) <= 100
========================
Stat
========================
Operators:
MUL 1
LT 1
Methods:
Variable:
a 1
b 1
& 4 & 0 & 0 & 3 & 7 & 26696 & 895 ms & 10 &
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 7.007 sec
Running fr.inria.lille.repair.spoon.ConditionnalInstrumenterTest
11:02:48.237 [main] ERROR x.java.compiler.DynamicClassCompiler - [Compilation errors]
Thaliana.java:15: error: variable __NopolProcessorException is already defined in method throwingExceptionDueToTheName()
} catch (java.lang.Exception __NopolProcessorException) {
^
11:02:48.651 [main] ERROR x.java.compiler.DynamicClassCompiler - [Compilation errors]
Thaliana.java:15: error: variable __NopolProcessorException is already defined in method throwingExceptionDueToTheName()
} catch (java.lang.Exception __NopolProcessorException) {
^
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.742 sec
Running fr.inria.lille.repair.expression.ExpressionTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec
Running fr.inria.lille.repair.nopol.NopolTest
11:02:48.672 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
11:02:48.672 [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]
11:02:48.673 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:02:48.674 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
11:02:48.675 [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;@c7077e', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:02:48.676 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:02:48.684 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 91 MB
11:02:48.684 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:02:48.685 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 230 MB
11:02:48.686 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:02:48.687 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:02:48.687 [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
11:02:50.599 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
11:02:50.667 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
11:02:50.863 [pool-159-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:15
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
11:02:50.864 [pool-159-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>]
11:02:50.864 [pool-159-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
11:02:50.864 [pool-159-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.
11:02:50.864 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
11:02:51.165 [pool-165-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test6)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test5)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=3, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test2)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=3, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test3)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=12, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test4)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=2, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test7)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test8)
constraint: {0=0, s.length()==0=false, s.length()=13, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test9)
11:02:51.166 [pool-165-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:02:51.185 [pool-165-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:02:51.300 [pool-165-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
11:02:51.301 [pool-165-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
11:02:51.362 [pool-165-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
11:02:51.379 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:02:51.381 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:02:51.381 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
11:02:51.381 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 2
11:02:51.381 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 1
11:02:51.381 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 8
11:02:51.381 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:02:51.382 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:02:51.383 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:02:51.383 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
11:02:51.384 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2708ms
11:02:51.384 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:02:51.385 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
11:02:51.386 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
11:02:51.387 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
11:02:51.393 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:02:51.403 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
11:02:51.403 [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]
11:02:51.403 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:02:51.403 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
11:02:51.403 [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;@3fc7e35b', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:02:51.403 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:02:51.403 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 90 MB
11:02:51.403 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:02:51.403 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 232 MB
11:02:51.403 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:02:51.403 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:02:51.403 [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
11:02:53.179 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
11:02:53.519 [pool-207-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, a=2, b=-8, (b - a)=-10, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test9)
constraint: {0=0, a=4, b=-2, (b - a)=-6, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test4)
constraint: {0=0, a=-2, b=-4, (b - a)=-2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test6)
constraint: {0=0, a=4, b=2, (b - a)=-2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test2)
constraint: {0=0, a=-4, b=-2, (b - a)=2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test7)
constraint: {0=0, a=-2, b=4, (b - a)=6, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test5)
constraint: {0=0, a=2, b=4, (b - a)=2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test1)
11:02:53.519 [pool-207-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:02:53.531 [pool-207-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:02:53.589 [pool-207-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a)
11:02:53.589 [pool-207-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a)
11:02:53.655 [pool-207-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working
11:02:53.662 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 3
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 2
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:02:53.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]
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2259ms
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - 1 < (b - a)
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
11:02:53.664 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
11:02:53.665 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:02:53.672 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_3]
11:02:53.672 [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]
11:02:53.672 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:02:53.672 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_3.NopolExampleTest]
11:02:53.672 [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;@14530ad2', projectTests=[nopol_examples.nopol_example_3.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:02:53.672 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:02:53.672 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 89 MB
11:02:53.673 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:02:53.673 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 234 MB
11:02:53.673 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:02:53.673 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:02:53.673 [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
11:02:55.517 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_3.NopolExample:11 which is executed by 9 tests
11:02:55.795 [pool-258-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, a=-8, tmp != 0=true, tmp=-1}. outcome: false (test5)
constraint: {0=0, a=2, tmp != 0=true, tmp=1}. outcome: false (test4)
constraint: {0=0, a=0, tmp != 0=true, tmp=-1}. outcome: false (test9)
constraint: {0=0, a=50, tmp != 0=true, tmp=1}. outcome: false (test8)
constraint: {0=0, a=8, tmp != 0=true, tmp=1}. outcome: false (test7)
constraint: {0=0, a=-1, tmp != 0=false, tmp=0}. outcome: true (test3)
constraint: {0=0, a=5, tmp != 0=false, tmp=0}. outcome: true (test2)
constraint: {0=0, a=3, tmp != 0=false, tmp=0}. outcome: true (test1)
constraint: {0=0, a=65, tmp != 0=false, tmp=0}. outcome: true (test6)
11:02:55.795 [pool-258-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:02:55.811 [pool-258-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:02:55.880 [pool-258-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == tmp
11:02:55.880 [pool-258-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL 0 == tmp
11:02:55.939 [pool-258-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "0 == tmp" is working
11:02:55.947 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 3
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 4
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 3
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 9
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 12
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2275ms
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - 0 == tmp
11:02:55.948 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
11:02:55.949 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_3.NopolExample:11: CONDITIONAL
11:02:55.949 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:02:55.953 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
11:02:55.954 [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]
11:02:55.954 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRECONDITION
11:02:55.954 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
11:02:55.954 [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;@4dfa7285', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:02:55.954 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:02:55.954 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 108 MB
11:02:55.954 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:02:55.954 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 236 MB
11:02:55.954 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:02:55.954 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:02:55.954 [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
11:02:57.747 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
11:02:57.805 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
11:02:58.045 [pool-315-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=-2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test4)
constraint: {a=-5, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test5)
constraint: {a=2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test1)
constraint: {a=10, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test2)
constraint: {a=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test6)
11:02:58.046 [pool-315-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:02:58.063 [pool-315-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:02:58.097 [pool-315-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
11:02:58.097 [pool-315-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
11:02:58.158 [pool-315-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
11:02:58.163 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:02:58.164 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:02:58.164 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
11:02:58.164 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 5
11:02:58.164 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 4
11:02:58.164 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
11:02:58.164 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:02:58.164 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:02:58.164 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:02:58.165 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
11:02:58.165 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2210ms
11:02:58.165 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:02:58.165 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
11:02:58.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
11:02:58.166 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
11:02:58.167 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:02:58.172 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_6]
11:02:58.172 [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]
11:02:58.172 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:02:58.172 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_6.NopolExampleTest]
11:02:58.172 [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;@4ed652b1', projectTests=[nopol_examples.nopol_example_6.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:02:58.172 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:02:58.172 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 120 MB
11:02:58.173 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:02:58.173 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 236 MB
11:02:58.173 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:02:58.173 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:02:58.173 [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
11:02:59.987 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_6.NopolExample:7 which is executed by 6 tests
11:03:00.246 [pool-345-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=5, b=3, a > b=true}. outcome: false (test2)
constraint: {a=0, b=-3, a > b=true}. outcome: false (test6)
constraint: {a=4, b=0, a > b=true}. outcome: false (test3)
constraint: {a=3, b=5, a > b=false}. outcome: true (test1)
constraint: {a=0, b=4, a > b=false}. outcome: true (test4)
11:03:00.247 [pool-345-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:00.258 [pool-345-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:00.496 [pool-345-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: a < b
11:03:00.496 [pool-345-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_6.NopolExample:7: CONDITIONAL a < b
11:03:00.569 [pool-345-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "a < b" is working
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 6
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 5
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2404ms
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - a < b
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
11:03:00.576 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_6.NopolExample:7: CONDITIONAL
11:03:00.577 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:03:00.589 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_7]
11:03:00.589 [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]
11:03:00.589 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:03:00.589 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_7.NopolExampleTest]
11:03:00.589 [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;@1ee2fa3e', projectTests=[nopol_examples.nopol_example_7.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:03:00.589 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:03:00.589 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 161 MB
11:03:00.589 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:03:00.589 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 239 MB
11:03:00.589 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:03:00.589 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:03:00.589 [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
11:03:02.433 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:22 which is executed by 4 tests
11:03:02.487 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_7.NopolExample:21 which is executed by 30 tests
11:03:02.872 [pool-381-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, a=2, intermediaire=0, intermediaire == 0=true}. outcome: false (test1)
constraint: {0=0, a=29, intermediaire=1, intermediaire == 0=false}. outcome: false (test10)
constraint: {0=0, a=31, intermediaire=1, intermediaire == 0=false}. outcome: false (test11)
constraint: {0=0, a=37, intermediaire=1, intermediaire == 0=false}. outcome: false (test12)
constraint: {0=0, a=41, intermediaire=1, intermediaire == 0=false}. outcome: false (test13)
constraint: {0=0, a=43, intermediaire=1, intermediaire == 0=false}. outcome: false (test14)
constraint: {0=0, a=47, intermediaire=1, intermediaire == 0=false}. outcome: false (test15)
constraint: {0=0, a=53, intermediaire=1, intermediaire == 0=false}. outcome: false (test16)
constraint: {0=0, a=59, intermediaire=1, intermediaire == 0=false}. outcome: false (test17)
constraint: {0=0, a=61, intermediaire=1, intermediaire == 0=false}. outcome: false (test18)
constraint: {0=0, a=67, intermediaire=1, intermediaire == 0=false}. outcome: false (test19)
constraint: {0=0, a=71, intermediaire=1, intermediaire == 0=false}. outcome: false (test20)
constraint: {0=0, a=73, intermediaire=1, intermediaire == 0=false}. outcome: false (test21)
constraint: {0=0, a=79, intermediaire=1, intermediaire == 0=false}. outcome: false (test22)
constraint: {0=0, a=83, intermediaire=1, intermediaire == 0=false}. outcome: false (test23)
constraint: {0=0, a=89, intermediaire=1, intermediaire == 0=false}. outcome: false (test24)
constraint: {0=0, a=97, intermediaire=1, intermediaire == 0=false}. outcome: false (test25)
constraint: {0=0, a=4, intermediaire=0, intermediaire == 0=true}. outcome: true (test26)
constraint: {0=0, a=3, intermediaire=1, intermediaire == 0=false}. outcome: false (test2)
constraint: {0=0, a=5, intermediaire=1, intermediaire == 0=false}. outcome: false (test3)
constraint: {0=0, a=7, intermediaire=1, intermediaire == 0=false}. outcome: false (test4)
constraint: {0=0, a=11, intermediaire=1, intermediaire == 0=false}. outcome: false (test5)
constraint: {0=0, a=13, intermediaire=1, intermediaire == 0=false}. outcome: false (test6)
constraint: {0=0, a=17, intermediaire=1, intermediaire == 0=false}. outcome: false (test7)
constraint: {0=0, a=19, intermediaire=1, intermediaire == 0=false}. outcome: false (test8)
constraint: {0=0, a=23, intermediaire=1, intermediaire == 0=false}. outcome: false (test9)
11:03:02.872 [pool-381-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:02.890 [pool-381-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:03.010 [pool-381-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
11:03:03.224 [pool-381-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (intermediaire == 0) && (3 < a)
11:03:03.224 [pool-381-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL (intermediaire == 0) && (3 < a)
11:03:03.304 [pool-381-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(intermediaire == 0) && (3 < a)" is working
11:03:03.341 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:03:03.341 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:03:03.341 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
11:03:03.341 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 7
11:03:03.341 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 6
11:03:03.341 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 26
11:03:03.341 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 3
11:03:03.341 [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]
11:03:03.341 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 7
11:03:03.341 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 9
11:03:03.342 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2753ms
11:03:03.342 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:03:03.342 [main] INFO fr.inria.lille.repair.nopol.NoPol - (intermediaire == 0) && (3 < a)
11:03:03.342 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 30
11:03:03.342 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_7.NopolExample:21: CONDITIONAL
11:03:03.342 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:03:03.349 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_8]
11:03:03.349 [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]
11:03:03.349 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:03:03.349 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_8.NopolExampleTest]
11:03:03.349 [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;@3f1341bc', projectTests=[nopol_examples.nopol_example_8.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:03:03.349 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:03:03.349 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 146 MB
11:03:03.349 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:03:03.349 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 239 MB
11:03:03.349 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:03:03.349 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:03:03.349 [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
11:03:05.444 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:15 which is executed by 5 tests
11:03:05.533 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_8.NopolExample:12 which is executed by 10 tests
11:03:05.801 [pool-502-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=2.0, (a * b)=100.0, 100=100, b=50.0, (a * b) < 100=false}. outcome: true (test_2)
constraint: {a=8451.0, (a * b)=4.1384547E7, 100=100, b=4897.0, (a * b) < 100=false}. outcome: false (test_10)
constraint: {a=5.0, (a * b)=25.0, 100=100, b=5.0, (a * b) < 100=true}. outcome: true (test_1)
constraint: {a=50.0, (a * b)=50.0, 100=100, b=1.0, (a * b) < 100=true}. outcome: true (test_3)
constraint: {a=7.0, (a * b)=56.0, 100=100, b=8.0, (a * b) < 100=true}. outcome: true (test_4)
constraint: {a=9.0, (a * b)=81.0, 100=100, b=9.0, (a * b) < 100=true}. outcome: true (test_5)
constraint: {a=0.0, (a * b)=0.0, 100=100, b=1.0, (a * b) < 100=true}. outcome: true (test_6)
constraint: {a=5.0, (a * b)=250.0, 100=100, b=50.0, (a * b) < 100=false}. outcome: false (test_7)
constraint: {a=50.0, (a * b)=2500.0, 100=100, b=50.0, (a * b) < 100=false}. outcome: false (test_8)
constraint: {a=101.0, (a * b)=101.0, 100=100, b=1.0, (a * b) < 100=false}. outcome: false (test_9)
11:03:05.802 [pool-502-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:05.814 [pool-502-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:05.872 [pool-502-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (a * b) <= 100
11:03:05.873 [pool-502-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL (a * b) <= 100
11:03:05.924 [pool-502-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(a * b) <= 100" is working
11:03:05.954 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 8
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 7
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 10
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 10
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2605ms
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - (a * b) <= 100
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 10
11:03:05.955 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_8.NopolExample:12: CONDITIONAL
11:03:05.956 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:03:05.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
11:03:05.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]
11:03:05.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:03:05.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
11:03:05.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=CONDITIONAL, synthesis=SMT, oracle=ANGELIC, solver=Z3, solverPath='null', projectSources=[../test-projects/src/main/java/nopol_examples/nopol_example_2], projectClasspath='[Ljava.net.URL;@224e9f87', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:03:05.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:03:05.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 154 MB
11:03:05.957 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:03:05.958 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 235 MB
11:03:05.958 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:03:05.958 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:03:05.958 [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
11:03:07.663 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
11:03:07.966 [pool-546-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, a=2, b=-8, (b - a)=-10, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test9)
constraint: {0=0, a=4, b=-2, (b - a)=-6, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test4)
constraint: {0=0, a=-2, b=-4, (b - a)=-2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test6)
constraint: {0=0, a=4, b=2, (b - a)=-2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test2)
constraint: {0=0, a=-4, b=-2, (b - a)=2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test7)
constraint: {0=0, a=-2, b=4, (b - a)=6, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test5)
constraint: {0=0, a=2, b=4, (b - a)=2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test1)
11:03:07.966 [pool-546-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:07.978 [pool-546-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:08.373 [pool-546-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 1 < (b - a)
11:03:08.373 [pool-546-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL 1 < (b - a)
11:03:08.438 [pool-546-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "1 < (b - a)" is working
11:03:08.444 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 9
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 8
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 7
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2487ms
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - 1 < (b - a)
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
11:03:08.445 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
11:03:08.446 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:03:08.446 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_2]
11:03:08.446 [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]
11:03:08.446 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:03:08.446 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_2.NopolExampleTest]
11:03:08.446 [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;@200b1e38', projectTests=[nopol_examples.nopol_example_2.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:03:08.446 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:03:08.446 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 60 MB
11:03:08.446 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:03:08.446 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 234 MB
11:03:08.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:03:08.447 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:03:08.447 [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
11:03:10.179 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_2.NopolExample:11 which is executed by 9 tests
11:03:10.442 [pool-596-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, a=-2, b=-4, (b - a)=-2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=true}. outcome: false (test6)
constraint: {0=0, a=2, b=4, (b - a)=2, nopol_examples.nopol_example_2.NopolExample.this.fieldOfOuterClass=12302, (b - a) < 0=false}. outcome: true (test1)
11:03:10.443 [pool-596-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:10.452 [pool-596-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:10.484 [pool-596-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: (b - a) == 2
11:03:10.484 [pool-596-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL (b - a) == 2
11:03:10.567 [pool-596-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "(b - a) == 2" is working
11:03:10.571 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 2
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 10
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 9
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 2
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 14
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2125ms
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - (b - a) == 2
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_2.NopolExample:11: CONDITIONAL
11:03:10.572 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:03:10.578 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
11:03:10.578 [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]
11:03:10.578 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND
11:03:10.578 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
11:03:10.578 [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;@7c734e6e', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:03:10.578 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:03:10.578 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 83 MB
11:03:10.579 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:03:10.579 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 233 MB
11:03:10.579 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:03:10.579 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:03:10.579 [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
11:03:12.233 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
11:03:12.287 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
11:03:12.518 [pool-617-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=-2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test4)
constraint: {a=-5, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test5)
constraint: {a=2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test1)
constraint: {a=10, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test2)
constraint: {a=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test6)
11:03:12.518 [pool-617-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:12.527 [pool-617-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:12.565 [pool-617-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
11:03:12.565 [pool-617-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
11:03:12.618 [pool-617-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
11:03:12.623 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:03:12.623 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:03:12.623 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
11:03:12.623 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 11
11:03:12.623 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 10
11:03:12.623 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
11:03:12.623 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:03:12.624 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:03:12.624 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:03:12.624 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
11:03:12.624 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2045ms
11:03:12.624 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:03:12.625 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
11:03:12.625 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
11:03:12.625 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
11:03:12.626 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:03:12.635 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
11:03:12.635 [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]
11:03:12.635 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: COND_THEN_PRE
11:03:12.635 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
11:03:12.635 [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;@9eabb28', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:03:12.635 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:03:12.635 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 84 MB
11:03:12.635 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:03:12.635 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 230 MB
11:03:12.635 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:03:12.635 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:03:12.635 [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
11:03:14.404 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
11:03:14.546 [pool-647-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:16
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
11:03:14.547 [pool-647-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>]
11:03:14.547 [pool-647-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
11:03:14.547 [pool-647-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.
11:03:14.547 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
11:03:14.718 [pool-653-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:15
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
11:03:14.718 [pool-653-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>]
11:03:14.718 [pool-653-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
11:03:14.718 [pool-653-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.
11:03:14.808 [pool-659-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:15
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
11:03:14.808 [pool-659-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>]
11:03:14.808 [pool-659-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
11:03:14.808 [pool-659-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.
11:03:14.808 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
11:03:15.045 [pool-665-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test6)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test5)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=3, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test2)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=3, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test3)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=12, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test4)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=2, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test7)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test8)
constraint: {0=0, s.length()==0=false, s.length()=13, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test9)
11:03:15.046 [pool-665-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:15.059 [pool-665-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:15.115 [pool-665-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
11:03:15.115 [pool-665-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
11:03:15.195 [pool-665-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
11:03:15.204 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:03:15.204 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 15
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 11
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 8
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2569ms
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
11:03:15.205 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:03:15.220 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
11:03:15.220 [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]
11:03:15.221 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:03:15.222 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
11:03:15.223 [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;@3210e6d0', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:03:15.223 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:03:15.224 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 134 MB
11:03:15.224 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:03:15.224 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 230 MB
11:03:15.225 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:03:15.225 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:03:15.225 [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
11:03:17.007 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
11:03:17.091 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
11:03:17.251 [pool-707-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:15
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
11:03:17.252 [pool-707-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>]
11:03:17.252 [pool-707-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
11:03:17.252 [pool-707-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.
11:03:17.252 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
11:03:17.484 [pool-713-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test6)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test5)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=3, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test2)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=3, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test3)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=12, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test4)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=2, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test7)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test8)
constraint: {0=0, s.length()==0=false, s.length()=13, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test9)
11:03:17.485 [pool-713-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:17.497 [pool-713-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:17.552 [pool-713-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 17
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 12
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 8
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2333ms
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
11:03:17.553 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
11:03:17.554 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
11:03:17.554 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:03:17.568 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_1]
11:03:17.568 [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]
11:03:17.568 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: PRE_THEN_COND
11:03:17.568 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_1.NopolExampleTest]
11:03:17.568 [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;@5840efa', projectTests=[nopol_examples.nopol_example_1.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:03:17.568 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:03:17.568 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 77 MB
11:03:17.568 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:03:17.568 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 233 MB
11:03:17.568 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:03:17.568 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:03:17.568 [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
11:03:19.257 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:16 which is executed by 7 tests
11:03:19.424 [pool-746-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:16
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
11:03:19.424 [pool-746-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>]
11:03:19.424 [pool-746-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
11:03:19.424 [pool-746-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.
11:03:19.424 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:15 which is executed by 8 tests
11:03:19.572 [pool-752-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:15
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
11:03:19.572 [pool-752-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>]
11:03:19.573 [pool-752-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
11:03:19.573 [pool-752-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.
11:03:19.663 [pool-758-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:15
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
11:03:19.663 [pool-758-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>, test5(nopol_examples.nopol_example_1.NopolExampleTest): expected:<97> but was:<100>]
11:03:19.663 [pool-758-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
11:03:19.663 [pool-758-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.
11:03:19.663 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_1.NopolExample:12 which is executed by 9 tests
11:03:19.825 [pool-764-thread-1] DEBUG f.i.l.r.n.s.ConstraintModelBuilder - Failing test(s): SourceLocation nopol_examples.nopol_example_1.NopolExample:12
[test6(nopol_examples.nopol_example_1.NopolExampleTest), test5(nopol_examples.nopol_example_1.NopolExampleTest)]
11:03:19.825 [pool-764-thread-1] DEBUG tests.output - First set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
11:03:19.825 [pool-764-thread-1] DEBUG tests.output - Second set:
[test6(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -1, test5(nopol_examples.nopol_example_1.NopolExampleTest): String index out of range: -5]
11:03:19.825 [pool-764-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.
11:03:20.012 [pool-770-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test6)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=-5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: true (test5)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=3, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test2)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=3, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test3)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=12, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test4)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=2, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test7)
constraint: {0=0, s.length()==0=false, s.length()=4, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=1, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test8)
constraint: {0=0, s.length()==0=false, s.length()=13, nopol_examples.nopol_example_1.NopolExample.this.index=30, nopol_examples.nopol_example_1.NopolExample.s.length()=42, index=5, index == 0=false, nopol_examples.nopol_example_1.NopolExample.s!=null=true, nopol_examples.nopol_example_1.NopolExample.s.length()==0=false, s!=null=true}. outcome: false (test9)
11:03:20.013 [pool-770-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:20.029 [pool-770-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:20.087 [pool-770-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: index < 0
11:03:20.087 [pool-770-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL index < 0
11:03:20.150 [pool-770-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "index < 0" is working
11:03:20.156 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 22
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 13
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 8
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 16
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2588ms
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - index < 0
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 9
11:03:20.157 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_1.NopolExample:12: CONDITIONAL
11:03:20.158 [main] INFO fr.inria.lille.repair.nopol.NoPol -
11:03:20.162 [main] INFO fr.inria.lille.repair.nopol.NoPol - Source files: [../test-projects/src/main/java/nopol_examples/nopol_example_5]
11:03:20.162 [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]
11:03:20.162 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: COND_THEN_PRE
11:03:20.162 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [nopol_examples.nopol_example_5.NopolExampleTest]
11:03:20.163 [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;@7883b5e0', projectTests=[nopol_examples.nopol_example_5.NopolExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:03:20.163 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:03:20.163 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 92 MB
11:03:20.163 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:03:20.163 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 233 MB
11:03:20.163 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:03:20.163 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:03:20.163 [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
11:03:21.860 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:21 which is executed by 6 tests
11:03:21.922 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation nopol_examples.nopol_example_5.NopolExample:20 which is executed by 6 tests
11:03:22.182 [pool-812-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=-2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test4)
constraint: {a=-5, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (test5)
constraint: {a=2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test1)
constraint: {a=10, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test2)
constraint: {a=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (test6)
11:03:22.183 [pool-812-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:22.209 [pool-812-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:22.240 [pool-812-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: -1 < a
11:03:22.240 [pool-812-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION -1 < a
11:03:22.296 [pool-812-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "-1 < a" is working
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 1
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 1
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 23
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 14
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2139ms
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - -1 < a
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
11:03:22.301 [main] INFO fr.inria.lille.repair.nopol.NoPol - nopol_examples.nopol_example_5.NopolExample:20: PRECONDITION
11:03:22.302 [main] INFO fr.inria.lille.repair.nopol.NoPol -
Tests run: 14, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 33.644 sec
Running fr.inria.lille.commons.smt.SMTLibTest
Tests run: 32, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.136 sec
Running fr.inria.lille.commons.smt.SMTLibEqualVisitorTest
11:03:22.476 [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.036 sec
Running fr.inria.lille.commons.smt.ComparisonTest
Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 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: {}
11:03:22.993 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {a=-5, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (<unknown>)
constraint: {a=2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (<unknown>)
constraint: {a=10, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (<unknown>)
constraint: {a=-2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (<unknown>)
constraint: {a=-2, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: false (<unknown>)
constraint: {a=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (<unknown>)
constraint: {a=0, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false, r=1}. outcome: true (<unknown>)
11:03:22.993 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:23.009 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:23.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
11:03:23.182 [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
11:03:23.495 [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
11:03:50.974 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Failed code synthesis, returning NullCodeGenesis
11:03:51.025 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {result=false, a=-5, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: false (<unknown>)
constraint: {result=true, a=2, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: true (<unknown>)
constraint: {result=true, a=10, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: true (<unknown>)
constraint: {result=false, a=-2, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: false (<unknown>)
constraint: {result=false, a=-2, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: false (<unknown>)
constraint: {result=true, a=1, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: true (<unknown>)
constraint: {result=true, a=0, r=1, nopol_examples.nopol_example_5.NopolExample.this.unreachableFromInnterStaticClass!=null=false}. outcome: true (<unknown>)
11:03:51.026 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:51.037 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:51.066 [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: 29.246 sec
Running fr.inria.lille.commons.synthesis.CodeSynthesisTest
11:03:51.758 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {}. outcome: 0 (<unknown>)
constraint: {}. outcome: 0 (<unknown>)
11:03:51.758 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:51.769 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0
11:03:51.777 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {0=0, cond=true, size=4}. outcome: false (<unknown>)
constraint: {0=0, cond=false, size=7}. outcome: true (<unknown>)
11:03:51.778 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:51.798 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
?: of arity: 3
11:03:51.824 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: 0 == ((cond)?(size):(0))
11:03:51.829 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {iterations=15, array.length=10}. outcome: 10 (<unknown>)
constraint: {iterations=7, array.length=10}. outcome: 10 (<unknown>)
11:03:51.829 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:51.839 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: array.length
11:03:51.844 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {value=97, letter=a}. outcome: true (<unknown>)
constraint: {value=98, letter=b}. outcome: true (<unknown>)
constraint: {value=122, letter=c}. outcome: false (<unknown>)
constraint: {value=120, letter=d}. outcome: false (<unknown>)
11:03:51.845 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:51.871 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: value == letter
11:03:51.877 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {p=3, q=3, n=6}. outcome: true (<unknown>)
constraint: {p=13, q=5, n=18}. outcome: true (<unknown>)
constraint: {p=2, q=5, n=6}. outcome: false (<unknown>)
constraint: {p=13, q=5, n=12}. outcome: false (<unknown>)
11:03:51.877 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:51.906 [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
11:03:51.995 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: q + p <= n
11:03:52.004 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {iterations=10, array.length=10}. outcome: 20 (<unknown>)
constraint: {iterations=5, array.length=15}. outcome: 20 (<unknown>)
11:03:52.004 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
+ of arity: 2
- of arity: 2
11:03:52.019 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: array.length + iterations
11:03:52.023 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {iterations=15, array.length=4}. outcome: false (<unknown>)
constraint: {iterations=5, array.length=16}. outcome: true (<unknown>)
constraint: {iterations=16, array.length=16}. outcome: true (<unknown>)
11:03:52.023 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:52.043 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: iterations <= array.length
11:03:52.048 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {isEmpty=true, iterations=11, array.length=12}. outcome: 10 (<unknown>)
constraint: {isEmpty=false, iterations=15, array.length=11}. outcome: 10 (<unknown>)
11:03:52.048 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
?: of arity: 3
11:03:52.060 [main] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
?: of arity: 3
+ of arity: 2
- of arity: 2
11:03:52.102 [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.364 sec
Running fr.inria.lille.commons.synthesis.smt.constraint.ConstraintTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.049 sec
Running fr.inria.lille.commons.synthesis.LocationVariableContainerTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 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
11:03:52.165 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
11:03:52.165 [main] DEBUG fr.inria.lille.evo.Main - ##### launch nopol without new tests #####
11:03:52.165 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
11:03:52.166 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
11:03:52.166 [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
11:03:52.166 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@287dbc9f
11:03:52.167 [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]
11:03:52.167 [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]
11:03:52.167 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:03:52.167 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest]
11:03:52.167 [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;@1eb53f4a', projectTests=[evo_examples.evo_example_1.EvoExampleTest], complianceLevel=7, outputFolder=./, json=false}
11:03:52.167 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:03:52.168 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 58 MB
11:03:52.168 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:03:52.168 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 233 MB
11:03:52.169 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:03:52.169 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:03:52.169 [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
11:03:54.245 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 3 tests
11:03:54.316 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 5 tests
11:03:54.513 [pool-841-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {number=1, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_3)
constraint: {number=6, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_1)
constraint: {number=9, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_2)
constraint: {number=-3, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: true (test_evo_example_4)
11:03:54.513 [pool-841-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:54.522 [pool-841-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:54.546 [pool-841-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: number < -1
11:03:54.547 [pool-841-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
11:03:54.628 [pool-841-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "number < -1" is working
11:03:54.632 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:03:54.644 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 60
11:03:54.647 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 285
11:03:54.648 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 24
11:03:54.649 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 15
11:03:54.649 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 4
11:03:54.650 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:03:54.650 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:03:54.651 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:03:54.652 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
11:03:54.652 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2465ms
11:03:54.653 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:03:54.654 [main] INFO fr.inria.lille.repair.nopol.NoPol - number < -1
11:03:54.655 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 5
11:03:54.655 [main] INFO fr.inria.lille.repair.nopol.NoPol - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL
11:03:54.665 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- /builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
+++ /builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
@@ -8,3 +8,3 @@
- if(number <= 1){
+ if(number < -1){
return 0;
11:03:54.667 [main] DEBUG fr.inria.lille.evo.Main - ### ----- PATCH FOUND -----
11:03:54.675 [main] DEBUG fr.inria.lille.evo.Main - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
11:03:54.675 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
11:03:54.676 [main] DEBUG fr.inria.lille.evo.Main - ##### Search tests files path #####
11:03:54.895 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] evo_examples.evo_example_1.EvoExampleGeneratedTest
11:03:54.895 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
11:03:54.895 [main] DEBUG fr.inria.lille.evo.Main - ##### Search tests methods #####
11:03:55.094 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] test_evo_example_generated_1()
11:03:55.094 [main] DEBUG fr.inria.lille.evo.Main - [FOUND] test_evo_example_generated_0()
11:03:55.094 [main] DEBUG fr.inria.lille.evo.Main - ###########################################
11:03:55.094 [main] DEBUG fr.inria.lille.evo.Main - ######## start to try each methods ########
11:03:55.096 [main] DEBUG fr.inria.lille.evo.Main - ###########################################
11:03:55.096 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
11:03:55.096 [main] DEBUG fr.inria.lille.evo.Main - # TEST METHOD : test_evo_example_generated_1()
11:03:55.097 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
11:03:55.097 [main] DEBUG fr.inria.lille.evo.Main - ### Remove EvoSuite & Recompile Tests
11:03:55.257 [main] DEBUG fr.inria.lille.evo.Main - ### Launch Nopol
11:03:55.258 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
11:03:55.258 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
11:03:55.258 [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
11:03:55.259 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@22154a8e
11:03:55.260 [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]
11:03:55.260 [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]
11:03:55.260 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:03:55.261 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest]
11:03:55.261 [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;@33f9b33d', projectTests=[evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest], complianceLevel=7, outputFolder=./, json=false}
11:03:55.261 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:03:55.262 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 56 MB
11:03:55.262 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:03:55.263 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 233 MB
11:03:55.263 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:03:55.264 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:03:55.264 [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
11:03:57.337 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 4 tests
11:03:57.414 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 6 tests
11:03:57.644 [pool-864-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {number=1, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_3)
constraint: {number=1, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: true (test_evo_example_generated_1)
constraint: {number=6, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_1)
constraint: {number=9, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_2)
constraint: {number=-3, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: true (test_evo_example_4)
11:03:57.644 [pool-864-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:03:57.654 [pool-864-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:03:57.690 [pool-864-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
11:03:57.809 [pool-864-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
11:03:58.569 [pool-864-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
11:04:35.250 [pool-864-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Failed code synthesis, returning NullCodeGenesis
11:04:35.251 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:12 which is executed by 2 tests
11:04:35.330 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:04:35.339 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 61
11:04:35.339 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 286
11:04:35.339 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 25
11:04:35.339 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 16
11:04:35.339 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 4
11:04:35.339 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 5
11:04:35.339 [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]
11:04:35.339 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 14
11:04:35.339 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
11:04:35.339 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 40070ms
11:04:35.339 [main] DEBUG fr.inria.lille.evo.Main - ### ----- NO PATCH FOUND -----
11:04:35.339 [main] DEBUG fr.inria.lille.evo.Main - ### METHOD REMOVED : test_evo_example_generated_1()
11:04:35.340 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
11:04:35.340 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
11:04:35.340 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
11:04:35.340 [main] DEBUG fr.inria.lille.evo.Main - # TEST METHOD : test_evo_example_generated_0()
11:04:35.340 [main] DEBUG fr.inria.lille.evo.Main - --------------------------------------------------
11:04:35.340 [main] DEBUG fr.inria.lille.evo.Main - ### Remove EvoSuite & Recompile Tests
11:04:35.431 [main] DEBUG fr.inria.lille.evo.Main - ### Launch Nopol
11:04:35.431 [main] DEBUG fr.inria.lille.evo.Main - Launch nopol with:
11:04:35.431 [main] DEBUG fr.inria.lille.evo.Main - sources = ../test-projects/src/main/java:../test-projects/src/test/java:src/test/resources/evo/destSrcTest
11:04:35.431 [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
11:04:35.432 [main] DEBUG fr.inria.lille.evo.Main - testClasses = [Ljava.lang.String;@22154a8e
11:04:35.432 [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]
11:04:35.433 [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]
11:04:35.433 [main] INFO fr.inria.lille.repair.nopol.NoPol - Statement type: CONDITIONAL
11:04:35.433 [main] INFO fr.inria.lille.repair.nopol.NoPol - Args: [evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest]
11:04:35.434 [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;@17a95146', projectTests=[evo_examples.evo_example_1.EvoExampleTest, evo_examples.evo_example_1.EvoExampleGeneratedTest], complianceLevel=7, outputFolder=./, json=false}
11:04:35.434 [main] INFO fr.inria.lille.repair.nopol.NoPol - Available processors (cores): 2
11:04:35.434 [main] INFO fr.inria.lille.repair.nopol.NoPol - Free memory: 84 MB
11:04:35.434 [main] INFO fr.inria.lille.repair.nopol.NoPol - Maximum memory: 446 MB
11:04:35.434 [main] INFO fr.inria.lille.repair.nopol.NoPol - Total memory available to JVM: 232 MB
11:04:35.434 [main] INFO fr.inria.lille.repair.nopol.NoPol - Java version: 1.8.0_151
11:04:35.434 [main] INFO fr.inria.lille.repair.nopol.NoPol - JAVA_HOME: /builds/tools/hudson.model.JDK/JDK_8.0.151
11:04:35.434 [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
11:04:37.317 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:10 which is executed by 3 tests
11:04:37.374 [main] DEBUG fr.inria.lille.repair.nopol.NoPol - Analysing SourceLocation evo_examples.evo_example_1.EvoExample:9 which is executed by 6 tests
11:04:37.591 [pool-885-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Specifications:
constraint: {number=1, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_3)
constraint: {number=6, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=10}. outcome: false (test_evo_example_generated_0)
constraint: {number=6, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_1)
constraint: {number=9, number <= 1=false, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: false (test_evo_example_2)
constraint: {number=-3, number <= 1=true, 1=1, evo_examples.evo_example_1.EvoExample.this.value=1}. outcome: true (test_evo_example_4)
11:04:37.591 [pool-885-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
11:04:37.604 [pool-885-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Operators:
== of arity: 2
!= of arity: 2
< of arity: 2
<= of arity: 2
11:04:37.636 [pool-885-thread-1] DEBUG f.i.l.c.s.ConstraintBasedSynthesis - Successful code synthesis: number < 1
11:04:37.636 [pool-885-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Applying patch: evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
11:04:37.702 [pool-885-thread-1] INFO f.i.l.repair.nopol.patch.TestPatch - Running test suite to check the patch "number < 1" is working
11:04:37.717 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----INFORMATION----
11:04:37.722 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb classes : 61
11:04:37.722 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb methods : 286
11:04:37.722 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements Analyzed : 26
11:04:37.722 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb Statements with Angelic Value Found : 17
11:04:37.722 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb inputs in SMT : 5
11:04:37.722 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT level: 2
11:04:37.722 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb SMT components: [4] [== of arity: 2, != of arity: 2, < of arity: 2, <= of arity: 2]
11:04:37.722 [main] INFO fr.inria.lille.repair.nopol.NoPol - class java.lang.Boolean: 4
11:04:37.722 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb variables in SMT : 7
11:04:37.722 [main] INFO fr.inria.lille.repair.nopol.NoPol - NoPol Execution time : 2285ms
11:04:37.722 [main] INFO fr.inria.lille.repair.nopol.NoPol - ----PATCH FOUND----
11:04:37.723 [main] INFO fr.inria.lille.repair.nopol.NoPol - number < 1
11:04:37.723 [main] INFO fr.inria.lille.repair.nopol.NoPol - Nb test that executes the patch: 6
11:04:37.723 [main] INFO fr.inria.lille.repair.nopol.NoPol - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL
11:04:37.725 [main] INFO fr.inria.lille.repair.nopol.NoPol - --- /builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
+++ /builds/workspace/nopol/test-projects/src/main/java/evo_examples/evo_example_1/EvoExample.java
@@ -8,3 +8,3 @@
- if(number <= 1){
+ if(number < 1){
return 0;
11:04:37.726 [main] DEBUG fr.inria.lille.evo.Main - ### ----- PATCH FOUND -----
11:04:37.727 [main] DEBUG fr.inria.lille.evo.Main - evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
11:04:37.727 [main] DEBUG fr.inria.lille.evo.Main - ### METHOD KEPT : test_evo_example_generated_0()
11:04:37.728 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
11:04:37.729 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
11:04:37.730 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_0 <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
11:04:37.730 [main] DEBUG fr.inria.lille.evo.Main - ### End of program. Recompile keeping all good tests
11:04:37.811 [main] DEBUG fr.inria.lille.evo.Main - basic <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1
11:04:37.812 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_1 <===> null
11:04:37.812 [main] DEBUG fr.inria.lille.evo.Main - test_evo_example_generated_0 <===> evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1
[evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < -1] basic
[] test_evo_example_generated_1
[evo_examples.evo_example_1.EvoExample:9: CONDITIONAL number < 1] test_evo_example_generated_0
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 45.661 sec
Running fr.inria.lille.diff.PatchGeneratorTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.47 sec
Results :
Tests run: 330, Failures: 0, Errors: 0, Skipped: 11
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.5.201505241946:report (report) @ nopol ---
[INFO] Analyzed bundle 'Nopol' with 329 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] Building jar: /builds/workspace/nopol/nopol/target/nopol-0.2-SNAPSHOT-jar-with-dependencies.jar
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 02:29 min
[INFO] Finished at: 2018-03-08T17:04:47+01:00
[INFO] Final Memory: 35M/221M
[INFO] ------------------------------------------------------------------------
Recording test results
Finished: SUCCESS
![[Jenkins]](/sos/static/99fe9f0d/images/svgs/logo.svg){kind=logo}
