def _makeLPS(self, log):
'''Generate an LPS out of self._mcrl2.'''
try:
(lps, self.data[0]["times"]) = tools.mcrl22lps(*self.args, stdin=self._mcrl2, timed=True)
except tools.ToolException as e:
log.error("Tool execution failed with error {0}".format(e))
return lps
def _makeLPS(self, log):
'''Linearises the specification in self._mcrl2.'''
log.debug('Linearising {0}'.format(self))
lpsdata = [{},{},{},{}]
lpsdata[0]["tool"] = "mcrl22lps"
lpsdata[0]["arguments"] = ['-nfD']
lpsdata[0]["times"] = "unknown"
lpsdata[0]["memory"] = "unknown"
(lps, lpsdata[0]["times"]) = tools.mcrl22lps('-nfD', stdin=self._mcrl2, timed=True)
lpsdata[1]["tool"] = "lpsconstelm"
lpsdata[1]["arguments"] = []
lpsdata[1]["times"] = "unknown"
lpsdata[1]["memory"] = "unknown"
(lps, lpsdata[1]["times"]) = tools.lpsconstelm(stdin=lps, timed=True)
lpsdata[2]["tool"] = "lpsparelm"
lpsdata[2]["arguments"] = []
lpsdata[2]["times"] = "unknown"
lpsdata[2]["memory"] = "unknown"
(lps, lpsdata[2]["times"]) = tools.lpsparelm(stdin=lps, timed=True)
lpsdata[3]["tool"] = "lpssuminst"
lpsdata[3]["arguments"] = []
lpsdata[3]["times"] = "unknown"
lpsdata[3]["memory"] = "unknown"
(lps, lpsdata[3]["times"]) = tools.lpssuminst(stdin=lps, timed=True)
self.data += lpsdata
return lps
def _makeLPS(self, log):
'''Linearises the specification in self._mcrl2.'''
log.debug('Linearising {0}'.format(self))
lpsdata = [{}, {}, {}, {}]
lpsdata[0]["tool"] = "mcrl22lps"
lpsdata[0]["arguments"] = ['-nfD']
lpsdata[0]["times"] = "unknown"
lpsdata[0]["memory"] = "unknown"
(lps, lpsdata[0]["times"]) = tools.mcrl22lps('-nfD',
stdin=self._mcrl2,
timed=True)
lpsdata[1]["tool"] = "lpsconstelm"
lpsdata[1]["arguments"] = []
lpsdata[1]["times"] = "unknown"
lpsdata[1]["memory"] = "unknown"
(lps, lpsdata[1]["times"]) = tools.lpsconstelm(stdin=lps, timed=True)
lpsdata[2]["tool"] = "lpsparelm"
lpsdata[2]["arguments"] = []
lpsdata[2]["times"] = "unknown"
lpsdata[2]["memory"] = "unknown"
(lps, lpsdata[2]["times"]) = tools.lpsparelm(stdin=lps, timed=True)
lpsdata[3]["tool"] = "lpssuminst"
lpsdata[3]["arguments"] = []
lpsdata[3]["times"] = "unknown"
lpsdata[3]["memory"] = "unknown"
(lps, lpsdata[3]["times"]) = tools.lpssuminst(stdin=lps, timed=True)
self.data += lpsdata
return lps
def _makeLPS(self, log):
'''Generate an LPS out of self._mcrl2.'''
try:
(lps, self.data[0]["times"]) = tools.mcrl22lps(*self.args,
stdin=self._mcrl2,
timed=True)
except tools.ToolException as e:
log.error("Tool execution failed with error {0}".format(e))
return lps
