Ejemplo n.º 1
0
 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
Ejemplo n.º 2
0
 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
Ejemplo n.º 3
0
 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
Ejemplo n.º 4
0
 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