mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
Z3Py: Fix test output
Signed-off-by: Nuno Lopes <a-nlopes@microsoft.com>
This commit is contained in:
parent
93337fedeb
commit
5adfbe8857
|
@ -38,7 +38,7 @@ Z3 exceptions:
|
|||
... n = x + y
|
||||
... except Z3Exception as ex:
|
||||
... print("failed: %s" % ex)
|
||||
failed: 'sort mismatch'
|
||||
failed: sort mismatch
|
||||
"""
|
||||
from z3core import *
|
||||
from z3types import *
|
||||
|
|
Loading…
Reference in a new issue