Commit 83819ac4bb9a069c400c971a74b03d86802745e4

Thomas de Grivel 2023-03-07T15:55:49

fix tests

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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
+