diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-13 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-13 08:01:00 -0700 |
| commit | 77fab468ad32d15de5c065c211f6f74371670940 (patch) | |
| tree | 2a39a0480942bb597048513f72b2a23b0fcacde8 /src/aig/gia/giaEquiv.c | |
| parent | ccd1b57264d3bf1514410747cdcf6e4731ac7f2a (diff) | |
| download | abc-77fab468ad32d15de5c065c211f6f74371670940.tar.gz abc-77fab468ad32d15de5c065c211f6f74371670940.tar.bz2 abc-77fab468ad32d15de5c065c211f6f74371670940.zip | |
Version abc90413
Diffstat (limited to 'src/aig/gia/giaEquiv.c')
| -rw-r--r-- | src/aig/gia/giaEquiv.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c index cdee73d0..041be0f5 100644 --- a/src/aig/gia/giaEquiv.c +++ b/src/aig/gia/giaEquiv.c @@ -1135,6 +1135,8 @@ void Gia_ManEquivToChoices_rec( Gia_Man_t * pNew, Gia_Man_t * p, Gia_Obj_t * pOb assert( (int)pObj->Value == Gia_LitNotCond( pRepr->Value, Gia_ObjPhaseReal(pRepr) ^ Gia_ObjPhaseReal(pObj) ) ); return; } + if ( pRepr->Value > pObj->Value ) // should never happen with high resource limit + return; assert( pRepr->Value < pObj->Value ); pReprNew = Gia_ManObj( pNew, Gia_Lit2Var(pRepr->Value) ); pObjNew = Gia_ManObj( pNew, Gia_Lit2Var(pObj->Value) ); |