diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-03-30 21:53:15 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-03-30 21:53:15 +0000 |
commit | b04d7ee960729bcde8677be3682a2d64789f825b (patch) | |
tree | 77fd43bfddfac2cbae0ce0565b4328ecbc3fec72 /test/regress/run_regression | |
parent | af976fc656590dbbbfbcdfa45da5dbdab51f4c1c (diff) |
improve recent low-coverage complaints
Diffstat (limited to 'test/regress/run_regression')
-rwxr-xr-x | test/regress/run_regression | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/run_regression b/test/regress/run_regression index 7232fdae6..890dc438a 100755 --- a/test/regress/run_regression +++ b/test/regress/run_regression @@ -62,7 +62,7 @@ if expr "$benchmark" : '.*\.smt$' &>/dev/null; then # old mktemp from coreutils 7.x is broken, can't do XXXX in the middle # this frustrates our auto-language-detection, so add explicit --lang gettemp tmpbenchmark cvc4_benchmark.smt.$$.XXXXXXXXXX - command_line="${command_line:+ $command_line}--lang=smt" + command_line="${command_line:+$command_line }--lang=smt" grep -v '^% \(EXPECT\|EXPECT-ERROR\|EXIT\|COMMAND-LINE\): ' "$benchmark" >"$tmpbenchmark" if [ -z "$expected_exit_status" ]; then error "cannot determine expected exit status of \`$benchmark': please use \`% EXIT:' gesture" @@ -96,7 +96,7 @@ elif expr "$benchmark" : '.*\.smt2$' &>/dev/null; then # old mktemp from coreutils 7.x is broken, can't do XXXX in the middle # this frustrates our auto-language-detection, so add explicit --lang gettemp tmpbenchmark cvc4_benchmark.smt2.$$.XXXXXXXXXX - command_line="${command_line:+ $command_line}--lang=smt2" + command_line="${command_line:+$command_line }--lang=smt2" grep -v '^% \(EXPECT\|EXPECT-ERROR\|EXIT\|COMMAND-LINE\): ' "$benchmark" >"$tmpbenchmark" if [ -z "$expected_exit_status" ]; then error "cannot determine expected exit status of \`$benchmark': please use \`% EXIT:' gesture" |