The following list of benchmarks were used to evaluate our repair system.

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

The version of Leon used to run all these benchmarks is publicly available on Github.