Exemple #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()
Exemple #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()
Exemple #3
0
 def test_no_flat_model(self):
     with self.assertRaises(NuSMVNeedFlatHierarchyError):
         glob.build_flat_model()
Exemple #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()
Exemple #5
0
 def test_flat_model(self):
     glob.load_from_file("tests/pynusmv/models/counters.smv")
     glob.flatten_hierarchy()
     glob.build_flat_model()
Exemple #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()
Exemple #7
0
 def test_no_flat_model(self):
     with self.assertRaises(NuSMVNeedFlatHierarchyError):
         glob.build_flat_model()
Exemple #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()
Exemple #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()