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 /examples/api/python | |
| parent | 42c765eb255e5bfa65682cd812973f0f3c90017c (diff) | |
Change option names --default-dag-thresh and --default-expr-depth (#4309)
Diffstat (limited to 'examples/api/python')
| -rwxr-xr-x | examples/api/python/combination.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/python/combination.py b/examples/api/python/combination.py index 7a8055bdf..bae2b6ef9 100755 --- a/examples/api/python/combination.py +++ b/examples/api/python/combination.py @@ -26,7 +26,7 @@ if __name__ == "__main__": slv = pycvc4.Solver() slv.setOption("produce-models", "true") # Produce Models slv.setOption("output-language", "cvc4") # Set the output-language to CVC's - slv.setOption("default-dag-thresh", "0") # Disable dagifying the output + slv.setOption("dag-thresh", "0") # Disable dagifying the output slv.setOption("output-language", "smt2") # use smt-lib v2 as output language slv.setLogic("QF_UFLIRA") |