Print result in verification script.

2026-06-08 18:33:41 +00:00 · 2025-01-24 12:37:34 +03:00
parent 5f533b4b55
commit 006c9d7ac1
1 changed files with 3 additions and 1 deletions
@@ -1,7 +1,7 @@
 #!/bin/sh

 set -eu
-set -x
+#set -x

 rm -rf states
 if ! java -jar ~/Downloads/tla2tools.jar -workers `nproc` -coverage 0 Init.tla \
@@ -18,3 +18,5 @@ for inv in never_0 Prop; do
    exit 1
  fi
 done
+
+echo SUCCESS