diff --git a/dafny/build.sh b/dafny/build.sh index 007823e938..6bf4615ae0 100755 --- a/dafny/build.sh +++ b/dafny/build.sh @@ -1,5 +1,5 @@ cd "$(dirname "$0")/dafny" -if [ ! -f Binaries/Dafny ]; then +if [ ! -f ./Binaries/Dafny ]; then make fi diff --git a/dafny/run.sh b/dafny/run.sh index 2dace23b7b..27eb58fe5c 100755 --- a/dafny/run.sh +++ b/dafny/run.sh @@ -4,7 +4,7 @@ mkdir -p "$(dirname "$OUT")" cd "$(dirname "$0")/dafny" # The file "git-issue-2134.dfy" produces a stack overflow with an insanely long # stack trace. We don't want to see that, so we redirect stderr to /dev/null. -OUTPUT=$(Binaries/Dafny /deprecation:0 /compile:0 /timeLimit:$3 /print:$OUT.bpl /vcsCores:1 /proverLog:$OUT-@PROC@.smt2 "$1" 2> /dev/null) +OUTPUT=$(./Binaries/Dafny /deprecation:0 /compile:0 /timeLimit:$3 /print:$OUT.bpl /vcsCores:1 /proverLog:$OUT-@PROC@.smt2 "$1" 2> /dev/null) if [ $? -eq 0 ]; then exit 0 fi diff --git a/make_smt2.sh b/make_smt2.sh index 3e4d29ee4b..5285383ce7 100755 --- a/make_smt2.sh +++ b/make_smt2.sh @@ -25,6 +25,5 @@ while read -r verifier; do fi echo "[.smt2] $VERIFIER/$no_prefix" ./run.sh "$file" "../smt2/$VERIFIER/$no_prefix" "${TIMEOUT:-10}" || exit 1 - break # TODO: Remove this done <<< "$(./tests.sh)" done <<< "$VERIFIERS"