SuccessChanges

Summary

  1. test: add several Defects4J Math bugs (details)
  2. feat: add NopolResult#getAngelicValues (details)
Commit a4dd57e7223fc58072ed9b69f79c7b8c5acaa910 by martin.monperrus
test: add several Defects4J Math bugs
The file was modified.travis.yml (diff)
The file was addednopol/src/test/java/fr/inria/lille/repair/nopol/Defects4jEvaluationMathTest.java
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/NoPol.java (diff)
The file was modifiednopol/src/test/java/fr/inria/lille/repair/nopol/Defects4jUtils.java (diff)
The file was added.travis_defects4j_math.sh
Commit 38d488463956711ade122cd64a5350c29adf5e61 by martin.monperrus
feat: add NopolResult#getAngelicValues
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/Synthesizer.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/NopolResult.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/dynamoth/DynamothSynthesizer.java (diff)
The file was modifiednopol/src/test/java/fr/inria/lille/repair/nopol/NopolTest.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/SMTNopolSynthesizer.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/NoPol.java (diff)