From 496e4f909f4c6f4100ad3cef0a663b3f69b3b89f Mon Sep 17 00:00:00 2001
From: Gloria Mundi <gloria@gloria-mundi.eu>
Date: Tue, 27 Feb 2024 23:01:41 +0100
Subject: add binary lifting test

---
 Makefile | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0338a34..b92afb9 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,25 @@
-all:
+TESTS = graph/test/binary_lifting.test
+
+pdf:
 	latexmk -pdf tcr
+
+all: pdf test
+
+test: $(TESTS:.test=.ok)
+
 clean:
 	latexmk -c tcr
 	rm -f *.thm
+	rm -f $(TESTS) $(TESTS:.test=.ok)
+
+%.ok: %.test
+	timeout -v 1 ./$<
+	@touch $@
+%.test: %.cpp
+	g++ -std=gnu++20 -Wall -Wextra -Wpedantic -Werror \
+		-fsanitize=address,undefined -g -o $@ $<
+
+graph/test/binary_lifting.test: graph/test/binary_lifting.cpp \
+	graph/binary_lifting.cpp
+
+.PHONY: all pdf test clean
-- 
cgit v1.2.3