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