From 928a2e7cf22f574021814a968059c458958fbe1c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 14 Sep 2025 10:56:26 -0700 Subject: [PATCH] update python doc tests Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 9a9fe5e4a..6d534c185 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -7263,7 +7263,7 @@ class Solver(Z3PPObject): >>> s.reset() >>> s.add(2**x == 4) >>> s.check() - unknown + sat """ s = BoolSort(self.ctx) assumptions = _get_args(assumptions) @@ -7507,9 +7507,9 @@ class Solver(Z3PPObject): >>> x = Int('x') >>> s = SimpleSolver() - >>> s.add(2**x == 4) + >>> s.add(x == 2**x) >>> s.check() - unknown + sat >>> s.reason_unknown() '(incomplete (theory arithmetic))' """