SuccessChanges

Summary

  1. fix: don't collect twice the specification of the failing tests (details)
  2. refactor: simplifies angelic value analysis (#175) (details)
Commit 75a54187ea0a6516cdd1aeaaaa1d6768966f29fb by tdurieux
fix: don't collect twice the specification of the failing tests
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/ConstraintModelBuilder.java (diff)
Commit e3ab89e2b8685077d2ec5df8c1bb971fece346ff by github
refactor: simplifies angelic value analysis (#175)
The file was modifiednopol/src/test/java/fr/inria/lille/repair/nopol/Defects4jEvaluationMathTest.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/ConstraintModelBuilder.java (diff)
The file was modified.travis_defects4j_math.sh (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/InstrumentedProgram.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/commons/synthesis/ConstraintBasedSynthesis.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/SMTNopolSynthesizer.java (diff)