Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
leon-repair-benchmarks [2015/02/06 13:52] ekneuss |
leon-repair-benchmarks [2015/02/06 13:52] ekneuss |
||
---|---|---|---|
Line 2: | Line 2: | ||
The following list of benchmarks were used to evaluate our repair system. | The following list of benchmarks were used to evaluate our repair system. | ||
- | The version of Leon used to run all these benchmarks is [[https://github.com/colder/leon/tree/56d3d2e0ef7a7707b9d8a079870e9fb8edd9e014| publicly available on Github]] | + | |
Each benchmark contains a "fixme" comment indicating the place and kind of error introduced: | Each benchmark contains a "fixme" comment indicating the place and kind of error introduced: | ||
Line 32: | 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]]. |