diff options
Diffstat (limited to 'test/java/Combination.java')
| -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 |