diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-15 08:37:46 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-15 08:37:46 -0500 |
| commit | 681fece601a4f156f2d39b4813d16535b7e2cee3 (patch) | |
| tree | f2d39cffdb307ad21277d8cd3c815eb443a1fb77 /contrib | |
| parent | 42c765eb255e5bfa65682cd812973f0f3c90017c (diff) | |
Change option names --default-dag-thresh and --default-expr-depth (#4309)
Diffstat (limited to 'contrib')
| -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 $@ |