Commit 13959168 authored 10 years ago by Etienne Kneuss

Every Synthesis benchmark in leon-web is now a regression test

parent 92782e82

No related branches found

No related tags found

No related merge requests found

Hide whitespace changes

Inline Side-by-side

Showing

src/test/resources/regression/synthesis/Church/Add.scala 4 additions, 10 deletions

src/test/resources/regression/synthesis/Church/Add.scala
src/test/resources/regression/synthesis/Church/Distinct.scala 5 additions, 18 deletions

...test/resources/regression/synthesis/Church/Distinct.scala
src/test/resources/regression/synthesis/Church/Mult.scala 5 additions, 19 deletions

src/test/resources/regression/synthesis/Church/Mult.scala
src/test/resources/regression/synthesis/Church/Squared.scala 4 additions, 23 deletions

src/test/resources/regression/synthesis/Church/Squared.scala
src/test/resources/regression/synthesis/List/Delete.scala 8 additions, 26 deletions

src/test/resources/regression/synthesis/List/Delete.scala
src/test/resources/regression/synthesis/List/Diff.scala 9 additions, 32 deletions

src/test/resources/regression/synthesis/List/Diff.scala
src/test/resources/regression/synthesis/List/Insert.scala 9 additions, 14 deletions

src/test/resources/regression/synthesis/List/Insert.scala
src/test/resources/regression/synthesis/List/Split.scala 0 additions, 101 deletions

src/test/resources/regression/synthesis/List/Split.scala
src/test/resources/regression/synthesis/List/Split1.scala 30 additions, 0 deletions

src/test/resources/regression/synthesis/List/Split1.scala
src/test/resources/regression/synthesis/List/Split2.scala 31 additions, 0 deletions

src/test/resources/regression/synthesis/List/Split2.scala
src/test/resources/regression/synthesis/List/Split3.scala 36 additions, 0 deletions

src/test/resources/regression/synthesis/List/Split3.scala
src/test/resources/regression/synthesis/List/Union.scala 8 additions, 35 deletions

src/test/resources/regression/synthesis/List/Union.scala
src/test/resources/regression/synthesis/SortedList/Delete.scala 33 additions, 0 deletions

...st/resources/regression/synthesis/SortedList/Delete.scala
src/test/resources/regression/synthesis/SortedList/Diff.scala 50 additions, 0 deletions

...test/resources/regression/synthesis/SortedList/Diff.scala
src/test/resources/regression/synthesis/SortedList/Insert1.scala 34 additions, 0 deletions

...t/resources/regression/synthesis/SortedList/Insert1.scala
src/test/resources/regression/synthesis/SortedList/Insert2.scala 34 additions, 0 deletions

...t/resources/regression/synthesis/SortedList/Insert2.scala
src/test/resources/regression/synthesis/SortedList/InsertSort.scala 51 additions, 0 deletions

...esources/regression/synthesis/SortedList/InsertSort.scala
src/test/resources/regression/synthesis/SortedList/Union.scala 50 additions, 0 deletions

...est/resources/regression/synthesis/SortedList/Union.scala
src/test/resources/regression/synthesis/StrictSortedList/Delete.scala 33 additions, 0 deletions

...ources/regression/synthesis/StrictSortedList/Delete.scala
src/test/resources/regression/synthesis/StrictSortedList/Insert.scala 34 additions, 0 deletions

...ources/regression/synthesis/StrictSortedList/Insert.scala

with 468 additions and 278 deletions

Please register or to comment