From b7f14c587542afc11f8ca63fe3c3ad77aeffa3dc Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 16 May 2019 23:48:46 +0300 Subject: [PATCH] update test 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 2fa85a7cd..1a6e9c43f 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -3704,7 +3704,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) - [b = 1, x = 2] + [x = 2, b = 1] """ if z3_debug(): _z3_assert(is_bv(a), "Z3 bit-vector expression expected")