SuccessChanges

Summary

  1. add regression tests with the TSE bugs (details)
  2. fix test bug (details)
  3. optimization: don't analyze statements with no covering failing test (details)
  4. refactor: only compiles when it's needed (details)
Commit 62ab7de9e4f24124883d18e74115fd4878a878cf by martin.monperrus
add regression tests with the TSE bugs
The file was added.travis_tse.sh
The file was addednopol/src/test/java/fr/inria/lille/repair/nopol/TseEvaluationTest.java
The file was modifiednopol/src/main/java/fr/inria/lille/repair/common/config/NopolContext.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/Main.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/localization/GZoltarFaultLocalizer.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/NoPol.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/commons/trace/SpecificationTestCasesListener.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/SMTNopolSynthesizer.java (diff)
The file was modified.travis.yml (diff)
The file was modified.travis_server.sh (diff)
The file was modifiednopol/src/test/java/fr/inria/lille/repair/nopol/TseEvaluationTest.java (diff)
The file was modifiednopol/src/test/java/fr/inria/lille/repair/TestUtility.java (diff)
Commit 4a4b68275e3943fe9ef3a60dbd63a33489f1cecf by martin.monperrus
optimization: don't analyze statements with no covering failing test
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/NoPol.java (diff)
Commit eab9f08d921d7a8264fb1e5610061458b10492a2 by martin.monperrus
refactor: only compiles when it's needed
The file was modifiednopol/src/main/java/fr/inria/lille/commons/spoon/SpoonedClass.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/commons/spoon/SpoonedFile.java (diff)
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/spoon/ConditionnalInstrumenterTest.java (diff)