Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
leon-repair-benchmarks [2015/02/06 13:51] ekneuss |
leon-repair-benchmarks [2015/02/06 13:51] 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 publicly available at [[https://github.com/colder/leon/tree/56d3d2e0ef7a7707b9d8a079870e9fb8edd9e014]] | + | The version of Leon used to run all these benchmarks is publicly available on [[https://github.com/colder/leon/tree/56d3d2e0ef7a7707b9d8a079870e9fb8edd9e014|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: | ||