Python build_flat_modelの例

コード例 #1

ファイル: testGlobals.py プロジェクト: yyaan/pynusmv

 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

ファイル: testGlobals.py プロジェクト: ancailliau/pynusmv

 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

ファイル: testGlobals.py プロジェクト: ancailliau/pynusmv

 def test_no_flat_model(self):
     with self.assertRaises(NuSMVNeedFlatHierarchyError):
         glob.build_flat_model()

コード例 #4

ファイル: testGlobals.py プロジェクト: ancailliau/pynusmv

 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

ファイル: testGlobals.py プロジェクト: ankur8931/sdn-nrl

 def test_flat_model(self):
     glob.load_from_file("tests/pynusmv/models/counters.smv")
     glob.flatten_hierarchy()
     glob.build_flat_model()

コード例 #6

ファイル: testGlobals.py プロジェクト: ankur8931/sdn-nrl

 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

ファイル: testGlobals.py プロジェクト: ankur8931/sdn-nrl

 def test_no_flat_model(self):
     with self.assertRaises(NuSMVNeedFlatHierarchyError):
         glob.build_flat_model()

コード例 #8

ファイル: testGlobals.py プロジェクト: yyaan/pynusmv

 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

ファイル: testGlobals.py プロジェクト: yyaan/pynusmv

 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()