LARA

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: