def simple_model(self):
class main(smv.Module):
c = smv.Var(smv.Range(0, 3))
INIT = [c == 0]
TRANS = [c.next() == (c + 1)]
fsm = BddFsm.from_modules(main)
return fsm
def simple_model(self):
class main(smv.Module):
c = smv.Var(smv.Range(0, 3))
INIT = [c == 0]
TRANS = [c.next() == (c + 1)]
fsm = BddFsm.from_modules(main)
return fsm
