diff --git a/test/ic3_test b/test/ic3_test
index c153cc5..a7dc860 100755
--- a/test/ic3_test
+++ b/test/ic3_test
@@ -67,3 +67,10 @@ echo
echo -n "Total $TEST_COUNT tests. "
echo -n "${TEST_COLOR_OK}OK $TEST_OK ($(($TEST_OK * 100 / $TEST_COUNT))%)${TEST_COLOR_RESET}. "
echo "${TEST_COLOR_KO}KO $TEST_KO ($(($TEST_KO * 100 / $TEST_COUNT))%)${TEST_COLOR_RESET}."
+
+if [ "x$TEST_KO" = "x0" ]; then
+ exit 0
+fi
+
+exit 1
+