minor

4 years ago · b89e290e04
parent 346b759c9b
commit b89e290e04
1 changed files with 4 additions and 6 deletions
--- a/scripts/ci_test_flat.sh
+++ b/scripts/ci_test_flat.sh
@ -3,12 +3,10 @@
 ### Test slither-prop

 cd examples/flat || exit 1
-slither-flat b.sol

-if [ $? -eq 0 ]
-then
-    exit 0
+if ! slither-flat b.sol; then
+    echo "slither-flat failed"
+    exit 1
 fi

-echo "slither-flat failed"
-exit -1
+exit 0