Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
leon-repair-benchmarks [2015/02/06 13:02] 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. |
+ | 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: | ||
* [[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 24: | Line 27: | ||
* [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/List/List10.scala|List.size]] | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/List/List10.scala|List.size]] | ||
* [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/List/List11.scala|List.sum]] | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/List/List11.scala|List.sum]] | ||
+ | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic1.scala|PropLogic.nnf1]] | ||
+ | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic2.scala|PropLogic.nnf2]] | ||
+ | * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic3.scala|PropLogic.nnf3]] | ||
+ | * [[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]] |