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
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
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
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)']
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)']
def model(self): return tests.current_directory( __file__) + "/models/flipflops_vif_fairness.smv"
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()
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
def setUp(self): init_nusmv() load_from_file( tests.current_directory(__file__) + "/models/dummy_invarspecs.smv") go_bmc() self.fsm = master_be_fsm()
def model(self): return tests.current_directory(__file__)+"/models/flipflops_vif_fairness.smv"
def model(self): return tests.current_directory(__file__)+"/models/flipflops_wff.smv"
def model(self): return tests.current_directory(__file__)+"/input.smv"
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
def model(self): return tests.current_directory(__file__)+"/models/flipflops_explicit_relation.smv"
def setUp(self): init_nusmv() load_from_file(tests.current_directory(__file__)+"/models/flipflops_vif.smv") go_bmc() self._TESTED = BeEnc.global_singleton_instance()
def model(self): return tests.current_directory( __file__) + "/models/flipflops_explicit_relation.smv"
def model(self): return tests.current_directory(__file__) + "/input.smv"
def model(self): return tests.current_directory(__file__) + "/models/dummy_input_frozen.smv"
def model(self): return tests.current_directory( __file__) + "/models/dummy_input_frozen.smv"
def setUp(self): init_nusmv() load_from_file(tests.current_directory(__file__)+"/models/dummy_invarspecs.smv") go_bmc() self.fsm = master_be_fsm()
def setUp(self): init_nusmv() load_from_file( tests.current_directory(__file__) + "/models/flipflops_vif.smv") go_bmc() self._TESTED = BeEnc.global_singleton_instance()