Yay

runTests.sh

src/main/scala/leon/repair/RepairResult.scala

testcases/repair/Compiler/Compiler.scala

testcases/repair/Compiler/Compiler1.scala

testcases/repair/Compiler/Compiler2.scala

testcases/repair/Compiler/Compiler3.scala

testcases/repair/Compiler/Compiler4.scala

testcases/repair/Compiler/Compiler5.scala

testcases/repair/Compiler/Compiler6.scala

testcases/repair/evaluation/Desugar/Desugar1.scala

testcases/repair/evaluation/Desugar/Desugar2.scala

testcases/repair/evaluation/Desugar/Desugar3.scala

testcases/repair/evaluation/Desugar/Desugar4.scala

testcases/repair/evaluation/HeapSort/HeapSort3.scala

testcases/repair/evaluation/HeapSort/HeapSort4.scala

testcases/repair/evaluation/HeapSort/HeapSort5.scala

testcases/repair/evaluation/HeapSort/HeapSort6.scala

testcases/repair/evaluation/HeapSort/HeapSort7.scala

testcases/repair/evaluation/HeapSort/HeapSort8.scala

testcases/repair/evaluation/HeapSort/HeapSort9.scala