From 5360656440cbe39d9d646ec9780b69b513d0dfc1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 28 Aug 2024 09:40:51 -0700 Subject: [PATCH] fix expected Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index c3f40a52b..bd38d5baa 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -6798,7 +6798,7 @@ class Statistics: sat >>> st = s.statistics() >>> len(st) - 6 + 7 """ return int(Z3_stats_size(self.ctx.ref(), self.stats)) @@ -6812,11 +6812,11 @@ class Statistics: sat >>> st = s.statistics() >>> len(st) - 6 + 7 >>> st[0] ('nlsat propagations', 2) >>> st[1] - ('nlsat stages', 2) + ('nlsat restarts', 1) """ if idx >= len(self): raise IndexError @@ -10220,7 +10220,7 @@ def FPs(names, fpsort, ctx=None): >>> x.ebits() 8 >>> fpMul(RNE(), fpAdd(RNE(), x, y), z) - x + y * z + (x + y) * z """ ctx = _get_ctx(ctx) if isinstance(names, str):