More benchmarks
Showing
- runTests.sh 21 additions, 8 deletionsrunTests.sh
- src/main/scala/leon/repair/RepairResult.scala 6 additions, 1 deletionsrc/main/scala/leon/repair/RepairResult.scala
- testcases/repair/Compiler/Compiler5.scala 3 additions, 3 deletionstestcases/repair/Compiler/Compiler5.scala
- testcases/repair/Compiler/Compiler6.scala 3 additions, 5 deletionstestcases/repair/Compiler/Compiler6.scala
- testcases/repair/Compiler/Compiler7.scala 214 additions, 0 deletionstestcases/repair/Compiler/Compiler7.scala
- testcases/repair/Heap/Heap.scala 0 additions, 0 deletionstestcases/repair/Heap/Heap.scala
- testcases/repair/Heap/Heap1.scala 0 additions, 0 deletionstestcases/repair/Heap/Heap1.scala
- testcases/repair/Heap/Heap10.scala 113 additions, 0 deletionstestcases/repair/Heap/Heap10.scala
- testcases/repair/Heap/Heap2.scala 0 additions, 0 deletionstestcases/repair/Heap/Heap2.scala
- testcases/repair/Heap/Heap3.scala 0 additions, 0 deletionstestcases/repair/Heap/Heap3.scala
- testcases/repair/Heap/Heap4.scala 0 additions, 0 deletionstestcases/repair/Heap/Heap4.scala
- testcases/repair/Heap/Heap5.scala 0 additions, 0 deletionstestcases/repair/Heap/Heap5.scala
- testcases/repair/Heap/Heap6.scala 0 additions, 0 deletionstestcases/repair/Heap/Heap6.scala
- testcases/repair/Heap/Heap7.scala 0 additions, 0 deletionstestcases/repair/Heap/Heap7.scala
- testcases/repair/Heap/Heap8.scala 0 additions, 0 deletionstestcases/repair/Heap/Heap8.scala
- testcases/repair/Heap/Heap9.scala 0 additions, 0 deletionstestcases/repair/Heap/Heap9.scala
- testcases/repair/List/List12.scala 424 additions, 0 deletionstestcases/repair/List/List12.scala
- testcases/repair/List/List13.scala 423 additions, 0 deletionstestcases/repair/List/List13.scala
- testcases/repair/MergeSort/MergeSort.scala 54 additions, 0 deletionstestcases/repair/MergeSort/MergeSort.scala
- testcases/repair/MergeSort/MergeSort1.scala 66 additions, 0 deletionstestcases/repair/MergeSort/MergeSort1.scala
Loading
Please register or sign in to comment