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