add binary lifting test

1 files changed, 21 insertions, 1 deletions

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