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