mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
Z3Py: improve readability of Z3 exceptions
Signed-off-by: Nuno Lopes <a-nlopes@microsoft.com>
This commit is contained in:
parent
1059d226e4
commit
ae6121525a
|
@ -4,7 +4,7 @@ class Z3Exception(Exception):
|
|||
def __init__(self, value):
|
||||
self.value = value
|
||||
def __str__(self):
|
||||
return repr(self.value)
|
||||
return str(self.value)
|
||||
|
||||
class ContextObj(ctypes.c_void_p):
|
||||
def __init__(self, context): self._as_parameter_ = context
|
||||
|
|
Loading…
Reference in a new issue