Exemplo n.º 1
0
 def invalid_concise_scoping() -> None:
     tir.Assert(1.0 > 0.0, "aaaa")
     tir.evaluate(0.0)
Exemplo n.º 2
0
def tir_assert(a: ty.handle) -> None:
    tir.Assert(0, "")  # error