Commit 2f6b5529304880e95dbc922c943a926703ee862c

Thomas de Grivel 2023-08-08T18:39:39

make test with asan

diff --git a/Makefile b/Makefile
index d474610..9a48a27 100644
--- a/Makefile
+++ b/Makefile
@@ -29,7 +29,7 @@ all: gen
 	${MAKE} -C test all
 
 asan:
-	${GMAKE} -C libffi asan
+	${GMAKE} -C libffi all
 	${MAKE} -C libtommath asan
 	${MAKE} -C libc3 asan
 	${MAKE} -C ic3 asan
diff --git a/test/Makefile b/test/Makefile
index 2b898b6..3b46b03 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -78,6 +78,7 @@ lldb_test: debug
 test: libc3_test
 	time ./libc3_test
 	IC3=${SRC_TOP}/ic3/ic3 time ./ic3_test
+	if ${HAVE_ASAN}; then ${MAKE} test_asan; fi
 
 test_asan: libc3_test_asan
 	time ./libc3_test_asan