diff options
Diffstat (limited to 'unit-tests/sat6.smt2')
-rw-r--r-- | unit-tests/sat6.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unit-tests/sat6.smt2 b/unit-tests/sat6.smt2 index acef584..3c73489 100644 --- a/unit-tests/sat6.smt2 +++ b/unit-tests/sat6.smt2 @@ -5,6 +5,6 @@ (declare-fun d () Bool) (assert (and a b)) (assert (or c d)) -(assert (not (or c (and a b d)))) +(assert (not (or c (and a (and b d))))) (check-sat) (exit) |