-
- Downloads
Add List-related benchmarks, with various invariants (none, isSorted,...
Add List-related benchmarks, with various invariants (none, isSorted, isStrictlySorted), with common operations
Showing
- testcases/synthesis/cav2013/List.scala 11 additions, 34 deletionstestcases/synthesis/cav2013/List.scala
- testcases/synthesis/cav2013/SortedList.scala 45 additions, 0 deletionstestcases/synthesis/cav2013/SortedList.scala
- testcases/synthesis/cav2013/StrictlySortedList.scala 47 additions, 0 deletionstestcases/synthesis/cav2013/StrictlySortedList.scala
Loading
Please register or sign in to comment