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