diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 09:54:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 09:54:19 -0700 |
| commit | 5953beb2da3e9ee4bcc2fc03487cb8c8ef36877c (patch) | |
| tree | 09fb7edbdbb0442bdeb2555503f0eba8963a4a16 /src/proof/abs/absGlaOld.c | |
| parent | 5a4f1fe44c94ee48e707246898db1ac2d66231e9 (diff) | |
| download | abc-5953beb2da3e9ee4bcc2fc03487cb8c8ef36877c.tar.gz abc-5953beb2da3e9ee4bcc2fc03487cb8c8ef36877c.tar.bz2 abc-5953beb2da3e9ee4bcc2fc03487cb8c8ef36877c.zip | |
Restructured the code to post-process object used during refinement in &gla.
Diffstat (limited to 'src/proof/abs/absGlaOld.c')
| -rw-r--r-- | src/proof/abs/absGlaOld.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/abs/absGlaOld.c b/src/proof/abs/absGlaOld.c index 5ee69739..4ab956f7 100644 --- a/src/proof/abs/absGlaOld.c +++ b/src/proof/abs/absGlaOld.c @@ -503,7 +503,7 @@ Vec_Int_t * Gla_ManRefinement( Gla_Man_t * p ) Gia_Obj_t * pObj; int i; Gia_GlaPrepareCexAndMap( p, &pCex, &vMap ); - vVec = Rnm_ManRefine( p->pRnm, pCex, vMap, p->pPars->fPropFanout, 0, 1 ); + vVec = Rnm_ManRefine( p->pRnm, pCex, vMap, p->pPars->fPropFanout, p->pPars->fNewRefine, 1 ); Abc_CexFree( pCex ); if ( Vec_IntSize(vVec) == 0 ) { |