New verification testcase.
Finite sorting functions (essentially, hard-coded insertion sort for up to 5 values). Also included as a regression test.
Showing
- src/test/resources/regression/verification/purescala/invalid/FiniteSort.scala 54 additions, 0 deletions...egression/verification/purescala/invalid/FiniteSort.scala
- src/test/resources/regression/verification/purescala/valid/FiniteSort.scala 59 additions, 0 deletions.../regression/verification/purescala/valid/FiniteSort.scala
- testcases/FiniteSort.scala 80 additions, 0 deletionstestcases/FiniteSort.scala
Loading
Please register or sign in to comment