kc3-lang/kc3

diff --git a/test/Makefile b/test/Makefile
index e942181..2169dbe 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -22,10 +22,10 @@ CLEANFILES = \
 	ic3/*.err \
 	ic3/*.out \
 	ic3/*.ret \
-	test_libc3 \
-	test_libc3_asan \
-	test_libc3_cov \
-	test_libc3_debug
+	libc3_test \
+	libc3_test_asan \
+	libc3_test_cov \
+	libc3_test_debug
 
 CLEANFILES_COV = \
 	*.css \
@@ -92,6 +92,9 @@ test_ic3:
 test_ic3_debug:
 	IC3=${SRC_TOP}/ic3/ic3_debug time ./ic3_test
 
+test_libc3: libc3_test
+	time ./libc3_test
+
 test_valgrind: libc3_test
 	valgrind --leak-check=full --show-leak-kinds=all --track-origins=yes ./libc3_test