This is an old revision of the document!
Leon System for Verification, Synthesis and Repair
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:
The version of Leon used to run all these benchmarks is publicly available on Github.