diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-03 04:54:06 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-03 04:54:06 +0800 |
| commit | 32b07625464c92dcb32e2d5c40134ada0497d717 (patch) | |
| tree | 1480934e1a657e21cc87c339acc28fd157e9591b /src/aig/gia/giaIso.c | |
| parent | e6b16e27d1cf5e5d5ec21ce01ed4e424624734d3 (diff) | |
| download | abc-32b07625464c92dcb32e2d5c40134ada0497d717.tar.gz abc-32b07625464c92dcb32e2d5c40134ada0497d717.tar.bz2 abc-32b07625464c92dcb32e2d5c40134ada0497d717.zip | |
Preventing &iso from removing fanoutless PIs.
Diffstat (limited to 'src/aig/gia/giaIso.c')
| -rw-r--r-- | src/aig/gia/giaIso.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaIso.c b/src/aig/gia/giaIso.c index 3c3e26ff..dcfee68f 100644 --- a/src/aig/gia/giaIso.c +++ b/src/aig/gia/giaIso.c @@ -1024,7 +1024,7 @@ Vec_Str_t * Gia_ManIsoFindString( Gia_Man_t * p, int iPo, int fVerbose ) Vec_Int_t * vCis, * vAnds, * vCos; Vec_Str_t * vStr; // duplicate - pPart = Gia_ManDupCones( p, &iPo, 1 ); + pPart = Gia_ManDupCones( p, &iPo, 1, 1 ); assert( Gia_ManPoNum(pPart) == 1 ); if ( Gia_ManCiNum(pPart) == 0 ) // const AIG { @@ -1167,7 +1167,7 @@ Gia_Man_t * Gia_ManIsoReduce( Gia_Man_t * pInit, Vec_Ptr_t ** pvPosEquivs, int f // derive the resulting AIG - pPart = Gia_ManDupCones( p, Vec_IntArray(vRemain), Vec_IntSize(vRemain) ); + pPart = Gia_ManDupCones( p, Vec_IntArray(vRemain), Vec_IntSize(vRemain), 0 ); Vec_IntFree( vRemain ); // report the results if ( !fDualOut ) |