def __init__(self, name1, name2, **kwargs): super(SameParamCase, self).__init__( '{0}/{1} ({2})'.format( name1, name2, ' '.join('{0}={1}'.format(k, v) for k, v in kwargs.items())), specs.get(name1).mcrl2(**kwargs), specs.get(name2).mcrl2(**kwargs))
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, **kwargs): TempObj.__init__(self) spec = specs.get(name) self.__name = name self.__kwargs = kwargs self._mcrl2 = spec.mcrl2(**kwargs) self._temppath = os.path.join(os.path.split(__file__)[0], 'temp') self._prefix = '{0}{1}'.format(self.__name, ('_'.join('{0}={1}'.format(k,v) for k,v in self.__kwargs.items()))) self.proppath = os.path.join(os.path.split(__file__)[0], 'properties', spec.TEMPLATE) self.result = {}
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, **kwargs): TempObj.__init__(self) spec = specs.get(name) self.__name = name self.__kwargs = kwargs self._mcrl2 = spec.mcrl2(**kwargs) self._outpath = os.path.join(os.path.split(__file__)[0], 'data') self._temppath = os.path.join(os.path.split(__file__)[0], 'temp') self._prefix = '{0}{1}'.format( self.__name, ('_'.join('{0}={1}'.format(k, v) for k, v in self.__kwargs.items()))) self.proppath = os.path.join( os.path.split(__file__)[0], 'properties', spec.TEMPLATE) self.result = {} self.result['case'] = str(self) self.result['properties'] = []
def __init__(self, name1, name2, **kwargs): super(SameParamCase, self).__init__( '{0}/{1} ({2})'.format(name1, name2, ' '.join('{0}={1}'.format(k,v) for k,v in kwargs.items())), specs.get(name1).mcrl2(**kwargs), specs.get(name2).mcrl2(**kwargs))