diff options
Diffstat (limited to 'contrib/cvc4_strict_smtlib')
-rw-r--r-- | contrib/cvc4_strict_smtlib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/cvc4_strict_smtlib b/contrib/cvc4_strict_smtlib index 0a97bd74b..45c7cbe1a 100644 --- a/contrib/cvc4_strict_smtlib +++ b/contrib/cvc4_strict_smtlib @@ -5,4 +5,4 @@ cvc4="${CVC4_HOME}/cvc4" # This is the set of command line arguments that is required to be strictly # complaint with the input and output requirements of the current SMT-LIB # standard. -"$cvc4" --lang=smt2 --output-lang=smt2 --strict-parsing --default-expr-depth=-1 --print-success --incremental --abstract-values $@ +"$cvc4" --lang=smt2 --output-lang=smt2 --strict-parsing --expr-depth=-1 --print-success --incremental --abstract-values $@ |