LARA

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.