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")]