diff options
| author | Nadrieril | 2024-05-23 14:06:51 +0200 |
|---|---|---|
| committer | Guillaume Boisseau | 2024-05-24 14:24:38 +0200 |
| commit | b8bdf14f3e4b25578d107160161f5bd2b548a113 (patch) | |
| tree | fb5c3fa7e377655bdfbb9859b612f2d413907013 /backends/lean/Base/Primitives/Range.lean | |
| parent | b953b89f9739c6703c49667781f5509b1b2a3898 (diff) | |
Remove secondary betree test
Opened https://github.com/AeneasVerif/aeneas/issues/196 to remember to
add a more adequate replacement test.
Diffstat (limited to 'backends/lean/Base/Primitives/Range.lean')
0 files changed, 0 insertions, 0 deletions