Lab for Automated Reasoning and Analysis 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] (current)
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]].
 
leon-repair-benchmarks.txt · Last modified: 2015/02/06 13:52 by ekneuss
 
© EPFL 2018 - Legal notice