diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-16 19:59:24 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-17 09:06:31 -0400 |
| commit | e5b7840fbcd43c29e709dc3b9ddfb8d60b444ce4 (patch) | |
| tree | aeb4d6341237e65d8f10f02cbb611fd013214458 /contrib | |
| parent | a86a9bc9198cc5c1bfd538c4e8728f091d114335 (diff) | |
Some fixes for tear-down-incremental and "success" output.
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/run-script-smtcomp2014-application | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/run-script-smtcomp2014-application b/contrib/run-script-smtcomp2014-application index b04b33775..2decdb98a 100755 --- a/contrib/run-script-smtcomp2014-application +++ b/contrib/run-script-smtcomp2014-application @@ -9,7 +9,7 @@ function runcvc4 { # we run in this way for line-buffered input, otherwise memory's a # concern (plus it mimics what we'll end up getting from an # application-track trace runner?) - cat "$bench" | $cvc4 -L smt2 --print-success --no-checking --no-interactive --tear-down-incremental "$@" + cat "$bench" | $cvc4 -L smt2 --print-success --no-checking --no-interactive --no-incremental --tear-down-incremental "$@" } case "$logic" in |