mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
added debug assertion
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
aba79802cf
commit
4da56aa4df
|
@ -4128,6 +4128,7 @@ class Datatype:
|
|||
"""
|
||||
if __debug__:
|
||||
_z3_assert(isinstance(name, str), "String expected")
|
||||
_z3_assert(name != "")
|
||||
return self.declare_core(name, "is_" + name, *args)
|
||||
|
||||
def __repr__(self):
|
||||
|
|
Loading…
Reference in a new issue