示例#1
0
 def f():
     checkify.check_error(checkify.Error(True, 0, {0: "hi"}))
示例#2
0
 def f(pred):  # note: data dependence needed!
     checkify.check_error(checkify.Error(~pred, 0, {0: "hi"}))