diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-27 21:38:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-27 21:38:32 -0700 |
| commit | b4d0abb77d4ba5a89564233736522c3497d946ee (patch) | |
| tree | 1ac35340748911eefb1b0c11398cd627ae575853 /src/map/if | |
| parent | 66ef4a9ac187f5407cb9bec056853f3b11d0dfc1 (diff) | |
| download | abc-b4d0abb77d4ba5a89564233736522c3497d946ee.tar.gz abc-b4d0abb77d4ba5a89564233736522c3497d946ee.tar.bz2 abc-b4d0abb77d4ba5a89564233736522c3497d946ee.zip | |
Undo recent assert.
Diffstat (limited to 'src/map/if')
| -rw-r--r-- | src/map/if/ifMap.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index 4f0372a6..064494e0 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -192,8 +192,8 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep continue; // check if the cut is a special AND-gate cut pCut->fAndCut = fUseAndCut && pCut->nLeaves == 2 && pCut->pLeaves[0] == pObj->pFanin0->Id && pCut->pLeaves[1] == pObj->pFanin1->Id; - assert( pCut->nLeaves != 2 || pCut->pLeaves[0] < pCut->pLeaves[1] ); - assert( pCut->nLeaves != 2 || pObj->pFanin0->Id < pObj->pFanin1->Id ); + //assert( pCut->nLeaves != 2 || pCut->pLeaves[0] < pCut->pLeaves[1] ); + //assert( pCut->nLeaves != 2 || pObj->pFanin0->Id < pObj->pFanin1->Id ); // compute the truth table pCut->iCutFunc = -1; pCut->fCompl = 0; |