1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index a84215b2..61fb5dc4 100644
--- a/Makefile
+++ b/Makefile
@@ -161,6 +161,7 @@ test: $(TARGETS) $(EXTRA_TARGETS)
 	cd tests/simple && bash run-test.sh
 	cd tests/hana && bash run-test.sh
 	cd tests/asicworld && bash run-test.sh
+	cd tests/realmath && bash run-test.sh
 	cd tests/techmap && bash run-test.sh
 	cd tests/sat && bash run-test.sh