The following list of benchmarks were used to evaluate our repair system. The version of Leon used to run all these benchmarks is publicly available at https://github.com/colder/leon/tree/56d3d2e0ef7a7707b9d8a079870e9fb8edd9e014

Each benchmark contains a “fixme” comment indicating the place and kind of error introduced:

• Desugar.desugar1
• Desugar.desugar2
• Desugar.desugar3
• Desugar.desugar4
• HeapSort.merge1
• HeapSort.merge2
• HeapSort.merge3
• HeapSort.merge4
• HeapSort.merge5
• HeapSort.insert
• HeapSort.makeNode
• List.pad
• List.++
• List.ap
• List.replace
• List.count
• List.find1
• List.find2
• List.find3
• List.size
• List.sum
• PropLogic.nnf1
• PropLogic.nnf2
• PropLogic.nnf3
• PropLogic.nnf4
• PropLogic.nnf5