LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
leon-repair [2015/02/09 03:17]
ekneuss
leon-repair [2015/02/09 14:57]
ekneuss
Line 46: Line 46:
   * [[https://​github.com/​colder/​leon/​blob/​topic/​repair/​testcases/​repair/​MergeSort/​MergeSort5.scala|MergeSort.merge4]]   * [[https://​github.com/​colder/​leon/​blob/​topic/​repair/​testcases/​repair/​MergeSort/​MergeSort5.scala|MergeSort.merge4]]
  
-The version of Leon used to run all these benchmarks is [[https://​github.com/​colder/​leon/​commit/​d5a9f51a18100ae762f1d3ef5115e5e8231134bc| publicly available on Github]].+The version of Leon used to run all these benchmarks is [[https://​github.com/​colder/​leon/​commit/​ddd08e3aac4cc52c51dc60b59867eaea38f3cbf5| publicly available on Github]].