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