kc3-lang/kc3

diff --git a/Makefile b/Makefile
index 1747d84..e5ee6b7 100644
--- a/Makefile
+++ b/Makefile
@@ -151,6 +151,9 @@ test_gcovr:
 test_ic3: build
 	${MAKE} -C test test_ic3
 
+test_ic3_asan: asan
+	${MAKE} -C test test_ic3_asan
+
 test_ic3_cov: cov
 	${MAKE} -C test test_ic3_cov
 
diff --git a/test/Makefile b/test/Makefile
index 2497975..107601d 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -88,6 +88,9 @@ test_debug: libc3_test_debug
 test_ic3:
 	IC3=${SRC_TOP}/ic3/ic3 time ./ic3_test
 
+test_ic3_asan:
+	IC3=${SRC_TOP}/ic3/ic3_asan time ./ic3_test
+
 test_ic3_cov:
 	IC3=${SRC_TOP}/ic3/ic3_cov time ./ic3_test