Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
leon-repair-benchmarks [2015/02/06 13:03] ekneuss |
leon-repair-benchmarks [2015/02/06 13:52] ekneuss |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Leon System for Verification, Synthesis and Repair ====== | ====== 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 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: | ||
| * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Desugar/Desugar1.scala|Desugar.desugar1]] | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Desugar/Desugar1.scala|Desugar.desugar1]] | ||
| Line 29: | Line 32: | ||
| * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic4.scala|PropLogic.nnf4]] | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic4.scala|PropLogic.nnf4]] | ||
| * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic5.scala|PropLogic.nnf5]] | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic5.scala|PropLogic.nnf5]] | ||
| + | |||
| + | The version of Leon used to run all these benchmarks is [[https://github.com/colder/leon/tree/56d3d2e0ef7a7707b9d8a079870e9fb8edd9e014| publicly available on Github]]. | ||