示例#1
0
 def test_no_model(self):
     with self.assertRaises(NuSMVNeedFlatModelError):
         glob.build_model()
     glob.load_from_file("tests/pynusmv/models/counters.smv")
     with self.assertRaises(NuSMVNeedFlatModelError):
         glob.build_model()
     glob.flatten_hierarchy()
     with self.assertRaises(NuSMVNeedFlatModelError):
         glob.build_model()
     glob.build_flat_model()
     with self.assertRaises(NuSMVNeedVariablesEncodedError):
         glob.build_model()
     glob.encode_variables()
     glob.build_model()
     with self.assertRaises(NuSMVModelAlreadyBuiltError):
         glob.build_model()
示例#2
0
 def test_no_flat_model_after_parsing(self):
     glob.load_from_file("tests/pynusmv/models/counters.smv")
     with self.assertRaises(NuSMVNeedFlatHierarchyError):
         glob.build_flat_model()
示例#3
0
 def test_no_flat_model(self):
     with self.assertRaises(NuSMVNeedFlatHierarchyError):
         glob.build_flat_model()
示例#4
0
 def test_model(self):
     glob.load_from_file("tests/pynusmv/models/counters.smv")
     glob.flatten_hierarchy()
     glob.encode_variables()
     glob.build_flat_model()
     glob.build_model()
示例#5
0
 def test_flat_model(self):
     glob.load_from_file("tests/pynusmv/models/counters.smv")
     glob.flatten_hierarchy()
     glob.build_flat_model()
示例#6
0
 def test_no_flat_model_after_parsing(self):
     glob.load_from_file("tests/pynusmv/models/counters.smv")
     with self.assertRaises(NuSMVNeedFlatHierarchyError):
         glob.build_flat_model()
示例#7
0
 def test_no_flat_model(self):
     with self.assertRaises(NuSMVNeedFlatHierarchyError):
         glob.build_flat_model()
示例#8
0
 def test_flat_model(self):
     glob.load_from_file("tests/pynusmv/models/counters.smv")
     glob.flatten_hierarchy()
     glob.build_flat_model()
     with self.assertRaises(NuSMVFlatModelAlreadyBuiltError):
         glob.build_flat_model()
示例#9
0
 def test_no_flat_model(self):
     with self.assertRaises(NuSMVNeedFlatHierarchyError):
         glob.build_flat_model()
     glob.load_from_file("tests/pynusmv/models/counters.smv")
     glob.flatten_hierarchy()
     glob.build_flat_model()