def _makePBES(self):
'''Generate a PBES out of self.lps and self.mcffile, and apply pbesconstelm
to it.'''
self.__rename()
result = tools.lps2pbes('-f', self.mcffile, '-v', stdin=self.lps, memlimit=LPSTOOLS_MEMLIMIT, timeout=LPSTOOLS_TIMEOUT)['out']
result = tools.pbesconstelm('-v', stdin=result, memlimit=LPSTOOLS_MEMLIMIT, timeout=LPSTOOLS_TIMEOUT)['out']
return result
def _makePBES(self):
result = tools.lpsbisim2pbes('-b' + self.equiv,
self.lpsfile1,
self.lpsfile2,
memlimit=LPSTOOLS_MEMLIMIT,
timeout=LPSTOOLS_TIMEOUT)['out']
result = tools.pbesconstelm(stdin=result,
memlimit=LPSTOOLS_MEMLIMIT,
timeout=LPSTOOLS_TIMEOUT)['out']
return result
def _makePBES(self):
'''Generate a PBES out of self.lps and self.mcffile, and apply pbesconstelm
to it.'''
self._rename()
result = tools.lps2pbes('-f',
self.mcffile,
'-v',
stdin=self.lps,
memlimit=LPSTOOLS_MEMLIMIT,
timeout=LPSTOOLS_TIMEOUT)['out']
result = tools.pbesconstelm('-v',
stdin=result,
memlimit=LPSTOOLS_MEMLIMIT,
timeout=LPSTOOLS_TIMEOUT)['out']
return result
def _makePBES(self):
result = tools.lpsbisim2pbes('-b' + self.equiv, self.lpsfile1, self.lpsfile2, memlimit=LPSTOOLS_MEMLIMIT, timeout=LPSTOOLS_TIMEOUT)['out']
result = tools.pbesconstelm(stdin=result, memlimit=LPSTOOLS_MEMLIMIT, timeout=LPSTOOLS_TIMEOUT)['out']
return result