def __init__(self, name, **kwargs): Case.__init__(self, name, **kwargs) spec = specs.get(name) self._mcrl2 = spec.mcrl2(**kwargs) self._lps = None self.proppaths = [] self.proppaths += [os.path.join(os.path.split(__file__)[0], 'properties')] self.proppaths += [os.path.join(os.path.split(__file__)[0], 'properties', spec.TEMPLATE)]
def __init__(self, name, description, lps, temppath, *args): Case.__init__(self, name) self.__desc = description self._temppath = temppath self._prefix = self.__desc self._lps = lps self.args = args assert(len(self.data) == 0) self.data = [{}] self.data[0]["tool"] = "lps2lts" self.data[0]["arguments"] = list(self.args) self.data[0]["times"] = "unknown" self.data[0]["memory"] = "unknown"
def __init__(self, name, **kwargs): Case.__init__(self, name, **kwargs) spec = specs.get(name) self._mcrl2 = spec.mcrl2(**kwargs) self._lps = None self.proppaths = [] self.proppaths += [ os.path.join(os.path.split(__file__)[0], 'properties') ] self.proppaths += [ os.path.join( os.path.split(__file__)[0], 'properties', spec.TEMPLATE) ]
def __init__(self, name, description, mcrl2, temppath, *args): Case.__init__(self, name) self.__desc = description self._temppath = temppath self._prefix = self.__desc self._mcrl2 = mcrl2 self.args = args assert (len(self.data) == 0) self.data = [{}] self.data[0]["tool"] = "mcrl22lps" self.data[0]["arguments"] = list(self.args) self.data[0]["times"] = "unknown" self.data[0]["memory"] = "unknown"
def __init__(self, name, description, pbes, temppath, *args): Case.__init__(self, name) self.__desc = description self._temppath = temppath self._prefix = self.__desc self._pbes = pbes self.args = args assert (len(self.data) == 0) self.data = [{}] self.data[0]["tool"] = "pbes2bool" self.data[0]["arguments"] = list(self.args) self.data[0]["times"] = "unknown" self.data[0]["memory"] = "unknown" self.data[0]["solution"] = "unknown"