diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-15 16:00:29 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-15 16:00:29 -0800 |
commit | a0052e22b43ff9d0125ca8e71f96589226e44e42 (patch) | |
tree | 01edb8daa0a79a466e34e55585a0d1102db6b977 /src/misc/util/utilCex.c | |
parent | c2e467d55b188cb1fa5db534a23a4dd6e8291078 (diff) | |
download | abc-a0052e22b43ff9d0125ca8e71f96589226e44e42.tar.gz abc-a0052e22b43ff9d0125ca8e71f96589226e44e42.tar.bz2 abc-a0052e22b43ff9d0125ca8e71f96589226e44e42.zip |
Added switch 'cexcut -m' to generate bad states for all frames after G.
Diffstat (limited to 'src/misc/util/utilCex.c')
-rw-r--r-- | src/misc/util/utilCex.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/util/utilCex.c b/src/misc/util/utilCex.c index edb246b9..01afd489 100644 --- a/src/misc/util/utilCex.c +++ b/src/misc/util/utilCex.c @@ -202,9 +202,9 @@ Abc_Cex_t * Abc_CexMerge( Abc_Cex_t * pCex, Abc_Cex_t * pPart, int iFrBeg, int i assert( iFrBeg <= iFrEnd ); assert( pCex->nPis == pPart->nPis ); - assert( iFrEnd - iFrBeg >= pPart->iFrame ); + assert( iFrEnd - iFrBeg + pPart->iPo >= pPart->iFrame ); - nFramesGain = (iFrEnd - iFrBeg) - pPart->iFrame; + nFramesGain = iFrEnd - iFrBeg + pPart->iPo - pPart->iFrame; pNew = Abc_CexAlloc( pCex->nRegs, pCex->nPis, pCex->iFrame + 1 - nFramesGain ); pNew->iPo = pCex->iPo; pNew->iFrame = pCex->iFrame - nFramesGain; |