diff options
| author | Escherichia | 2024-03-27 10:22:06 +0100 |
|---|---|---|
| committer | Escherichia | 2024-03-28 15:35:20 +0100 |
| commit | 0f0082c81db8852dff23cd4691af19c434c8be78 (patch) | |
| tree | eaf4c6e6faaceaeaf86e47b7b61249f86c08f65d /tests/coq/betree/Primitives.v | |
| parent | c47e349dedaaf0e3161869740ea769332ffd24ca (diff) | |
Added sanity_check and sanity_check_opt_meta helpers and changed sanity checks related cassert to these helpers to have a proper error message
Diffstat (limited to 'tests/coq/betree/Primitives.v')
0 files changed, 0 insertions, 0 deletions