From 901d8a9f5b8d623982fd90caa3a0ff65026c4192 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 8 May 2015 00:38:26 -0700 Subject: [PATCH] change exception test to take into account new coercion operation Signed-off-by: Nikolaj Bjorner --- src/api/python/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index c1bdf2713..b46f5a9ef 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -32,7 +32,7 @@ sat Z3 exceptions: >>> try: -... x = Int('x') +... x = BitVec('x', 32) ... y = Bool('y') ... # the expression x + y is type incorrect ... n = x + y