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"
