def transmission_fair(self):
glob.load_from_file(
"tests/pynusmv_tools/atlkPO/models/transmission-fair.smv")
fsm = glob.mas()
self.assertIsNotNone(fsm)
return fsm
def little(self):
glob.load_from_file("tests/pynusmv_tools/atlkPO/models/little.smv")
fsm = glob.mas()
self.assertIsNotNone(fsm)
return fsm
def cardgame_post_fair(self):
glob.load_from_file(
"tests/pynusmv_tools/atlkPO/models/cardgame-post-fair.smv")
fsm = glob.mas()
self.assertIsNotNone(fsm)
return fsm
def model(self):
glob.load_from_file("tests/pynusmv_tools/ctlk/dining-crypto.smv")
fsm = glob.mas()
self.assertIsNotNone(fsm)
return fsm
def tictactoe(self):
glob.load_from_file("tests/pynusmv_tools/atl/models/tictactoe.smv")
fsm = glob.mas()
self.assertIsNotNone(fsm)
return fsm
def small(self):
glob.load_from_file("tests/pynusmv_tools/atl/models/small-game.smv")
fsm = glob.mas()
self.assertIsNotNone(fsm)
return fsm
def cardgame(self):
glob.load_from_file("tests/pynusmv_tools/atlkFO/models/cardgame.smv")
fsm = glob.mas()
self.assertIsNotNone(fsm)
return fsm
def simplemodel(self):
glob.load_from_file("tests/pynusmv_tools/ctlk/agents.smv")
fsm = glob.mas()
self.assertIsNotNone(fsm)
return fsm
