def test_check_realizable(self): assert not gr1cint.check_realizable(self.f_un, init_option="ALL_ENV_EXIST_SYS_INIT") self.f_un.sys_safety = [] assert gr1cint.check_realizable(self.f_un, init_option="ALL_ENV_EXIST_SYS_INIT") assert gr1cint.check_realizable(self.f_un, init_option="ALL_INIT") assert gr1cint.check_realizable(self.dcounter, init_option="ALL_ENV_EXIST_SYS_INIT") self.dcounter.sys_init = [] assert gr1cint.check_realizable(self.dcounter, init_option="ALL_INIT")
def realiz_init_illegal_check(init_option): spc = GRSpec() gr1cint.check_realizable(spc, init_option=init_option)
def test_check_realizable(self): assert not gr1cint.check_realizable(self.f_un) self.f_un.sys_safety = [] assert gr1cint.check_realizable(self.f_un) assert gr1cint.check_realizable(self.dcounter)