diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-17 12:18:39 -0700 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-17 12:18:39 -0700 |
| commit | 4d7cec5051d741888db0d5ef844b0270dc509830 (patch) | |
| tree | 8a3392b0f361cd9cb101d3f210f8a627a85aabe8 /src/base/wlc | |
| parent | ddd349cf96875baa1194f5f3ba8dcc5304f99572 (diff) | |
| download | abc-4d7cec5051d741888db0d5ef844b0270dc509830.tar.gz abc-4d7cec5051d741888db0d5ef844b0270dc509830.tar.bz2 abc-4d7cec5051d741888db0d5ef844b0270dc509830.zip | |
%pdra: disabled an experimental procedure
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcAbs.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index d5a6ca91..a1c263f4 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -1390,9 +1390,13 @@ void Wla_ManRefine( Wla_Man_t * pWla ) printf( "Refinement of CEX in frame %d came up with %d un-abstacted PPIs.\n", pWla->pCex->iFrame, Vec_IntSize(pWla->vRefine) ); } - Wlc_NtkAbsAnalyzeRefine( pWla->p, pWla->vBlacks, pWla->vUnmark, &pWla->nDisj, &pWla->nNDisj ); - if ( pWla->pPars->fVerbose ) + /* + if ( pWla->pPars->fVerbose ) + { + Wlc_NtkAbsAnalyzeRefine( pWla->p, pWla->vBlacks, pWla->vUnmark, &pWla->nDisj, &pWla->nNDisj ); Abc_Print( 1, "Refine analysis (total): %d disjoint PPIs and %d non-disjoint PPIs\n", pWla->nDisj, pWla->nNDisj ); + } + */ pWla->tCbr += Abc_Clock() - clk; Pdr_ManStop( pWla->pPdr ); pWla->pPdr = NULL; |