Build all including dafny

dafny/build.sh

@@ -1,5 +1,5 @@
 cd "$(dirname "$0")/dafny"
 
-if [ ! -f Binaries/Dafny ]; then
+if [ ! -f ./Binaries/Dafny ]; then
     make
 fi

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

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"