Lab for Automated Reasoning and Analysis 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.

 
leon-repair-benchmarks.txt · Last modified: 2015/02/06 13:52 by ekneuss