diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-13 20:44:34 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-13 20:44:34 -0800 |
| commit | abefcf8fc8f785f41b4f8b1a4431a079774b725c (patch) | |
| tree | 653fdb8fb1f0c7947ac6a253eeaf110610eb6851 /src/map/if/ifMap.c | |
| parent | 30b8c3d4225d66f2eca70513c0f7cd0e00a76159 (diff) | |
| download | abc-abefcf8fc8f785f41b4f8b1a4431a079774b725c.tar.gz abc-abefcf8fc8f785f41b4f8b1a4431a079774b725c.tar.bz2 abc-abefcf8fc8f785f41b4f8b1a4431a079774b725c.zip | |
DSD manager.
Diffstat (limited to 'src/map/if/ifMap.c')
| -rw-r--r-- | src/map/if/ifMap.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index a8876889..11b9449d 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -243,8 +243,9 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep if ( If_WordCountOnes(pCut0->uSign | pCut1->uSign) > p->pPars->nLutSize ) continue; // merge the cuts - if ( !If_CutMerge( pCut0, pCut1, pCut ) ) + if ( !If_CutMerge( p, pCut0, pCut1, pCut ) ) continue; + assert( If_CutCheck( pCut ) ); if ( pObj->fSpec && pCut->nLeaves == (unsigned)p->pPars->nLutSize ) continue; assert( p->pPars->fSeqMap || pCut->nLeaves > 1 ); |