Changes

Summary

Commit 9c6dfd425d5e4e33c8d79b6f19cc6b3ca632737e by André Silva Move Nopol to SMT and CoCoSpoon Signed-off-by: André Silva <andre15andre@hotmail.com>
The file was modified	src/repairnator-pipeline/src/main/java/fr/inria/spirals/repairnator/process/step/repair/nopol/AbstractNopolRepair.java (diff)
The file was modified	src/repairnator-pipeline/src/test/java/fr/inria/spirals/repairnator/process/inspectors/TestProjectInspector.java (diff)
The file was added	src/maven-repair/src/test/resources/z3/z3_for_mac
The file was modified	src/maven-repair/src/test/java/com/github/tdurieux/repair/maven/plugin/NopolMojoTest.java (diff)
The file was modified	src/maven-repair/src/main/java/com/github/tdurieux/repair/maven/plugin/NopolMojo.java (diff)
The file was modified	src/repairnator-pipeline/src/test/java/fr/inria/spirals/repairnator/process/step/repair/TestNopolRepair.java (diff)
The file was modified	src/repairnator-pipeline/src/test/java/fr/inria/spirals/repairnator/process/inspectors/TestGlobalPatchAnalysis.java (diff)
The file was added	src/maven-repair/src/test/resources/z3/z3_for_linux