diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-11 11:47:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-11 11:47:22 -0700 |
| commit | 5da7102f552e6c45a146ad18eb46f41189f1d767 (patch) | |
| tree | 1c3f64926507f0d6a1e8116c1e84a3858233bcc7 /src/aig/gia/giaAbsGla2.c | |
| parent | 528c8e0bbaaf7e83c48aac237afd1d402fd9c2a1 (diff) | |
| download | abc-5da7102f552e6c45a146ad18eb46f41189f1d767.tar.gz abc-5da7102f552e6c45a146ad18eb46f41189f1d767.tar.bz2 abc-5da7102f552e6c45a146ad18eb46f41189f1d767.zip | |
Fixing undesirable effect of recent refinement code on older code in &gla -n.
Diffstat (limited to 'src/aig/gia/giaAbsGla2.c')
| -rw-r--r-- | src/aig/gia/giaAbsGla2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c index f3fcbbd0..5e1873f0 100644 --- a/src/aig/gia/giaAbsGla2.c +++ b/src/aig/gia/giaAbsGla2.c @@ -1224,7 +1224,7 @@ Vec_Int_t * Ga2_ManRefine( Ga2_Man_t * p ) int i, k; Ga2_GlaPrepareCexAndMap( p, &pCex, &vMap ); // Rf2_ManRefine( p->pRf2, pCex, vMap, p->pPars->fPropFanout, 1 ); - vVec = Rnm_ManRefine( p->pRnm, pCex, vMap, p->pPars->fPropFanout, 1 ); + vVec = Rnm_ManRefine( p->pRnm, pCex, vMap, p->pPars->fPropFanout, 1, 1 ); // printf( "Refinement %d\n", Vec_IntSize(vVec) ); Abc_CexFree( pCex ); if ( Vec_IntSize(vVec) == 0 ) |