Python current_directory示例

示例#1

 def setUp(self):
     init_nusmv()
     load_from_file(
         tests.current_directory(__file__) + "/models/flipflops.smv")
     go_bmc()
     self.enc = BeEnc.global_singleton_instance()
     self.mgr = self.enc.manager

示例#2

文件： testBmcModel.py 项目： yyaan/pynusmv

 def setUp(self):
     init_nusmv()
     load_from_file(tests.current_directory(__file__)+"/models/flipflops_trans_invar_fairness.smv")
     go_bmc()
     
     self.fsm = BeFsm.global_master_instance()
     self.enc = self.fsm.encoding

示例#3

 def setUp(self):
     init_nusmv()
     glob.load(
         tests.current_directory(__file__) +
         "/models/flipflops_explicit_relation.smv")
     go_bmc()
     self._fsm = BeFsm.global_master_instance()
     self._manager = self._fsm.encoding.manager

示例#4

文件： testBeVar.py 项目： xgillard/pynusmv

 def setUp(self):
     init_nusmv()
     load_from_file(tests.current_directory(__file__)+"/models/flipflops_vif.smv")
     go_bmc()
     self.enc = master_be_fsm().encoding
     self.v   = self.enc.by_name['v']
     self.f   = self.enc.by_name['f']
     self.i   = self.enc.by_name['i']
     self.n   = self.enc.by_name['next(v)']

示例#5

文件： testBeVar.py 项目： yyaan/pynusmv

 def setUp(self):
     init_nusmv()
     load_from_file(
         tests.current_directory(__file__) + "/models/flipflops_vif.smv")
     go_bmc()
     self.enc = master_be_fsm().encoding
     self.v = self.enc.by_name['v']
     self.f = self.enc.by_name['f']
     self.i = self.enc.by_name['i']
     self.n = self.enc.by_name['next(v)']

示例#6

 def model(self):
     return tests.current_directory(
         __file__) + "/models/flipflops_vif_fairness.smv"

示例#7

文件： testBoolSexpFsm.py 项目： yyaan/pynusmv

 def setUp(self):
     init_nusmv()
     glob.load_from_file(tests.current_directory(__file__)+"/models/dummy_define_justice.smv")
     bmcGlob.go_bmc()
     self.fsm = glob.master_bool_sexp_fsm()

示例#8

文件： testBe.py 项目： xgillard/pynusmv

 def setUp(self):
     init_nusmv()
     glob.load(tests.current_directory(__file__) + "/models/flipflops_explicit_relation.smv")
     go_bmc()
     self._fsm = BeFsm.global_master_instance()
     self._manager = self._fsm.encoding.manager

示例#9

 def setUp(self):
     init_nusmv()
     load_from_file(
         tests.current_directory(__file__) + "/models/dummy_invarspecs.smv")
     go_bmc()
     self.fsm = master_be_fsm()

示例#10

文件： testNodeIterator.py 项目： xgillard/pynusmv

 def model(self):
     return tests.current_directory(__file__)+"/models/flipflops_vif_fairness.smv"

示例#11

 def model(self):
     return tests.current_directory(__file__)+"/models/flipflops_wff.smv"

示例#12

文件： testDiagnosability.py 项目： xgillard/pynusmv

 def model(self):
     return tests.current_directory(__file__)+"/input.smv"

示例#13

文件： testBeManager.py 项目： xgillard/pynusmv

 def setUp(self):
     init_nusmv()
     load_from_file(tests.current_directory(__file__)+"/models/flipflops.smv")
     go_bmc()
     self.enc = BeEnc.global_singleton_instance()
     self.mgr = self.enc.manager

示例#14

文件： testSatSolver.py 项目： xgillard/pynusmv

 def model(self):
     return tests.current_directory(__file__)+"/models/flipflops_explicit_relation.smv"

示例#15

文件： testBeEnc.py 项目： xgillard/pynusmv

 def setUp(self):
     init_nusmv()
     load_from_file(tests.current_directory(__file__)+"/models/flipflops_vif.smv")
     go_bmc()
     self._TESTED = BeEnc.global_singleton_instance()

示例#16

文件： testSatSolver.py 项目： yyaan/pynusmv

 def model(self):
     return tests.current_directory(
         __file__) + "/models/flipflops_explicit_relation.smv"

示例#17

文件： testDiagnosability.py 项目： LouvainVerificationLab/pynusmv-tools

 def model(self):
     return tests.current_directory(__file__) + "/input.smv"

示例#18

文件： testTrace.py 项目： xgillard/pynusmv

 def model(self):
     return tests.current_directory(__file__) + "/models/dummy_input_frozen.smv"

示例#19

 def model(self):
     return tests.current_directory(
         __file__) + "/models/dummy_input_frozen.smv"

示例#20

文件： testBmcInvarSpec.py 项目： xgillard/pynusmv

 def setUp(self):
     init_nusmv()
     load_from_file(tests.current_directory(__file__)+"/models/dummy_invarspecs.smv")
     go_bmc()
     self.fsm = master_be_fsm()

示例#21

 def setUp(self):
     init_nusmv()
     load_from_file(
         tests.current_directory(__file__) + "/models/flipflops_vif.smv")
     go_bmc()
     self._TESTED = BeEnc.global_singleton_instance()