diff --git a/tests/Makefile b/tests/Makefile
index 05e5410b7..6c2689c79 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -78,6 +78,7 @@ MK_TEST_DIRS += ./liberty
 MK_TEST_DIRS += ./memories
 MK_TEST_DIRS += ./aiger
 MK_TEST_DIRS += ./alumacc
+MK_TEST_DIRS += ./check_mem
 
 all: vanilla-test