diff options
| author | Escherichia | 2024-03-12 15:02:17 +0100 |
|---|---|---|
| committer | Escherichia | 2024-03-28 14:59:01 +0100 |
| commit | a64fdc8b1be70de43afe35ff788ba3240318daac (patch) | |
| tree | 779601c91a6f034ed3e53c9d139eb9b6fdab1ba2 /tests/fstar/betree | |
| parent | 65f7deb0043949049129c6a8e490d151b555fa16 (diff) | |
WIP Beginning working on better errors: began replacing raise (Failure) and assert by craise and cassert. Does not compile yet, still need to propagate the meta variable where it's relevant
Diffstat (limited to 'tests/fstar/betree')
0 files changed, 0 insertions, 0 deletions