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: