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 /Makefile | |
| 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 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -117,7 +117,6 @@ test: build-dev test-all test-all: \ test-arrays \ test-betree_main \ - test-betree_main-special \ test-bitwise \ test-constants \ test-demo \ |