testcases/synthesis/cav2013/SortedList.scala · 12e074fe0c4e9e6ae661d658253cf8f9c0053090 · LARA / inox · GitLab

Snippets Groups Projects

12 years ago
bea94705
Add List-related benchmarks, with various invariants (none, isSorted,... · bea94705
Etienne Kneuss authored 12 years ago
```
Add List-related benchmarks, with various invariants (none, isSorted, isStrictlySorted), with common operations
```
bea94705

History
Add List-related benchmarks, with various invariants (none, isSorted,...
Etienne Kneuss authored 12 years ago
```
Add List-related benchmarks, with various invariants (none, isSorted, isStrictlySorted), with common operations
```