LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]].