diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-16 16:06:21 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-16 16:06:21 -0700 |
commit | 5f97612951b9547a23c64e2a669cd459dae0beda (patch) | |
tree | 9552d966c6e461584fbb599ef5e17fecf2545c9b /src/aig/gia | |
parent | e731d3b1f4fa1a1be528c5e1868409c1b19aedf7 (diff) | |
download | abc-5f97612951b9547a23c64e2a669cd459dae0beda.tar.gz abc-5f97612951b9547a23c64e2a669cd459dae0beda.tar.bz2 abc-5f97612951b9547a23c64e2a669cd459dae0beda.zip |
Imporvements to 'eliminate'.
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaShrink.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaShrink.c b/src/aig/gia/giaShrink.c index 1060dbe2..05372d1a 100644 --- a/src/aig/gia/giaShrink.c +++ b/src/aig/gia/giaShrink.c @@ -106,8 +106,8 @@ Gia_Man_t * Gia_ManMapShrink4( Gia_Man_t * p, int fKeepLevel, int fVerbose ) // change from node IDs to their literals Gia_ManForEachObjVec( vLeaves, p, pFanin, k ) { - assert( Gia_ObjValue(pFanin) != ~0 ); - Vec_IntWriteEntry( vLeaves, k, Gia_ObjValue(pFanin) ); +// assert( Gia_ObjValue(pFanin) != ~0 ); + Vec_IntWriteEntry( vLeaves, k, Gia_ObjValue(pFanin) != ~0 ? Gia_ObjValue(pFanin) : 0 ); } // derive new structre if ( Gia_ManTruthIsConst0(pTruth, Vec_IntSize(vLeaves)) ) |