diff options
Diffstat (limited to 'examples/api/java/BitVectors.java')
| -rw-r--r-- | examples/api/java/BitVectors.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/api/java/BitVectors.java b/examples/api/java/BitVectors.java index ccaf3fbfa..db236475d 100644 --- a/examples/api/java/BitVectors.java +++ b/examples/api/java/BitVectors.java @@ -24,6 +24,7 @@ public class BitVectors { SmtEngine smt = new SmtEngine(em); smt.setOption("incremental", new SExpr(true)); // Enable incremental solving + smt.setLogic("QF_BV"); // Set the logic // The following example has been adapted from the book A Hacker's Delight by // Henry S. Warren. |