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 /test | |
parent | 42c765eb255e5bfa65682cd812973f0f3c90017c (diff) |
Change option names --default-dag-thresh and --default-expr-depth (#4309)
Diffstat (limited to 'test')
-rw-r--r-- | test/java/Combination.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/java/Combination.java b/test/java/Combination.java index 5b22945a1..b710bf0d9 100644 --- a/test/java/Combination.java +++ b/test/java/Combination.java @@ -39,7 +39,7 @@ public class Combination { smt.setOption("tlimit", new SExpr(100)); smt.setOption("produce-models", new SExpr(true)); // Produce Models smt.setOption("output-language", new SExpr("cvc4")); // output-language - smt.setOption("default-dag-thresh", new SExpr(0)); //Disable dagifying the output + smt.setOption("dag-thresh", new SExpr(0)); //Disable dagifying the output smt.setLogic("QF_UFLIRA"); // Sorts |