diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-13 11:42:15 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-13 11:42:15 +0700 |
commit | 3146ff40901d034383911d3aeb6048eb141fa246 (patch) | |
tree | 200f17aa7b7566e1e76d886d16ae6ae3961c34fd | |
parent | f261092139db825287c2f76606e355a794c5ca06 (diff) | |
download | abc-3146ff40901d034383911d3aeb6048eb141fa246.tar.gz abc-3146ff40901d034383911d3aeb6048eb141fa246.tar.bz2 abc-3146ff40901d034383911d3aeb6048eb141fa246.zip |
Fix incorrect transfer of box copy ID.
-rw-r--r-- | src/misc/tim/timMan.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c index 43b2c6e7..5ffd71de 100644 --- a/src/misc/tim/timMan.c +++ b/src/misc/tim/timMan.c @@ -226,7 +226,7 @@ Tim_Man_t * Tim_ManTrim( Tim_Man_t * p, Vec_Int_t * vBoxPres ) if ( Vec_IntEntry(vBoxPres, i) ) { Tim_ManCreateBox( pNew, curPo, pBox->nInputs, curPi, pBox->nOutputs, pBox->iDelayTable ); - Tim_ManBoxSetCopy( pNew, Tim_ManBoxNum(pNew) - 1, i ); + Tim_ManBoxSetCopy( pNew, Tim_ManBoxNum(pNew) - 1, Tim_ManBoxCopy(p, i) == -1 ? i : Tim_ManBoxCopy(p, i) ); curPi += pBox->nOutputs; curPo += pBox->nInputs; } @@ -319,7 +319,7 @@ Tim_Man_t * Tim_ManReduce( Tim_Man_t * p, Vec_Int_t * vBoxesLeft, int nTermsDiff { pBox = Tim_ManBox( p, iBox ); Tim_ManCreateBox( pNew, curPo, pBox->nInputs, curPi, pBox->nOutputs, pBox->iDelayTable ); - Tim_ManBoxSetCopy( pNew, Tim_ManBoxNum(pNew) - 1, iBox ); + Tim_ManBoxSetCopy( pNew, Tim_ManBoxNum(pNew) - 1, Tim_ManBoxCopy(p, iBox) == -1 ? iBox : Tim_ManBoxCopy(p, iBox) ); curPi += pBox->nOutputs; curPo += pBox->nInputs; } |