From b4d0abb77d4ba5a89564233736522c3497d946ee Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 27 Jun 2015 21:38:32 -0700
Subject: Undo recent assert.
---
src/map/if/ifMap.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'src')
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;
--
cgit v1.2.3