def __init__(self, net, progress):
self.p = progress
self.g = StateGraph(net)
self.f = [self.build(f) for f in net.label("asserts")]
if progress:
if len(self.f) == 0:
print(
"WARNING: no assertion given (computing the state space anyway)"
)
elif len(self.f) == 1:
print("checking 1 assertion")
else:
print("checking %s assertions" % len(self.f))
def __init__(self, net):
self.g = StateGraph(net)
self.f = [self.build(f) for f in net.label("asserts")]
