sanity/safety checks

shlomif · Dec 5, 2024 · f13dfa5 · f13dfa5
1 parent dcb2d1e
commit f13dfa5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fc-solve/scripts/run-solve-and-validate-benchmark.sh b/fc-solve/scripts/run-solve-and-validate-benchmark.sh
@@ -8,9 +8,9 @@
 
 
 (
+    set -e -x
     -t fcs
     shlomif_ux
-    set -e -x
     test -n "$trunk"
     fcsdir="$trunk/fc-solve"
     test -d "$fcsdir"