diff --git a/fc-solve/scripts/run-solve-and-validate-benchmark.sh b/fc-solve/scripts/run-solve-and-validate-benchmark.sh index fd067545f..f807a926e 100644 --- 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"