From 0fcc7b51235cc62ee610cb3c6c76eab8b41f6968 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 25 Nov 2025 20:15:38 -0800 Subject: [PATCH] update doc test string Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 6502dc147..4fd00eb76 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -4101,7 +4101,7 @@ def BV2Int(a, is_signed=False): >>> x > BV2Int(b, is_signed=True) x > If(b < 0, BV2Int(b) - 8, BV2Int(b)) >>> solve(x > BV2Int(b), b == 1, x < 3) - [x = 2, b = 1] + [b = 1, x = 2] """ if z3_debug(): _z3_assert(is_bv(a), "First argument must be a Z3 bit-vector expression")