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. The version of Leon used to run all these benchmarks is publicly available on Github
Each benchmark contains a “fixme” comment indicating the place and kind of error introduced: