diff options
Diffstat (limited to 'contrib/run-script-smtcomp2012')
-rwxr-xr-x | contrib/run-script-smtcomp2012 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/run-script-smtcomp2012 b/contrib/run-script-smtcomp2012 index 2183df8ce..bb4a9305f 100755 --- a/contrib/run-script-smtcomp2012 +++ b/contrib/run-script-smtcomp2012 @@ -3,7 +3,7 @@ cat >bench-$$.smt2 trap 'rm bench-$$.smt2' EXIT -logic=$(expr "$(head -n 1 bench-$$.smt2)" : '^ *(set-logic *\([A-Z_]*\) *) *$') +logic=$(expr "$(head -n 1 bench-$$.smt2)" : ' *(set-logic *\([A-Z_]*\) *) *$') # use: trywith [params..] # to attempt a run. Only thing printed on stdout is "sat" or "unsat", in |