From 4ce3e9c7c11744abae52d7a3ae1a3962395784be Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 23 May 2024 10:41:10 +0200
Subject: Import test suite from charon

---
 tests/src/betree/Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/src/betree/Makefile

(limited to 'tests/src/betree/Makefile')

diff --git a/tests/src/betree/Makefile b/tests/src/betree/Makefile
new file mode 100644
index 00000000..7b41e56d
--- /dev/null
+++ b/tests/src/betree/Makefile
@@ -0,0 +1,11 @@
+.PHONY: all
+all: tests
+
+.PHONY: test
+test:
+	cargo rustc -- --test -Zpolonius
+	cd target/debug/ && ./betree
+
+.PHONY: clean
+clean:
+	cargo clean
-- 
cgit v1.2.3