示例#1
0
 def test_from_string_fail(self):
     model = """
     MODULE main
         VAR qsdf : sdfqsdf;
     """
     with self.assertRaises(NuSMVCannotFlattenError):
         fsm = BddFsm.from_string(model)
示例#2
0
文件： testFsm.py 项目： yyaan/pynusmv 
 def test_from_string_fail(self):
     model = """
     MODULE main
         VAR qsdf : sdfqsdf;
     """
     with self.assertRaises(NuSMVCannotFlattenError):
         fsm = BddFsm.from_string(model)
示例#3
0
 def test_from_string(self):
     model = """
     MODULE main
         VAR test : 0..1;
     """
     fsm = BddFsm.from_string(model)
     self.assertIsNotNone(fsm)
示例#4
0
文件： testFsm.py 项目： yyaan/pynusmv 
 def test_from_string(self):
     model = """
     MODULE main
         VAR test : 0..1;
     """
     fsm = BddFsm.from_string(model)
     self.assertIsNotNone(fsm)