def test_from_string_fail(self): model = """ MODULE main VAR qsdf : sdfqsdf; """ with self.assertRaises(NuSMVCannotFlattenError): fsm = BddFsm.from_string(model)
def test_from_string(self): model = """ MODULE main VAR test : 0..1; """ fsm = BddFsm.from_string(model) self.assertIsNotNone(fsm)