diff options
Diffstat (limited to 'test/regress')
| -rwxr-xr-x | test/regress/run_regression | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/run_regression b/test/regress/run_regression index 5ed43d1a0..97941653c 100755 --- a/test/regress/run_regression +++ b/test/regress/run_regression @@ -57,7 +57,7 @@ function gettemp { tmpbenchmark= if expr "$benchmark" : '.*\.smt$' &>/dev/null; then proof_command=PROOFS-NOT-SUPPORTED-IN-SMTLIB-V1 - lang=smt + lang=smt1 if test -e "$benchmark.expect"; then expected_proof=`grep -q '^% PROOF' "$benchmark.expect" && echo yes` expected_output=`grep '^% EXPECT: ' "$benchmark.expect" | sed 's,^% EXPECT: ,,'` |