From 4d7cec5051d741888db0d5ef844b0270dc509830 Mon Sep 17 00:00:00 2001 From: Yen-Sheng Ho Date: Fri, 17 Mar 2017 12:18:39 -0700 Subject: %pdra: disabled an experimental procedure --- src/base/wlc/wlcAbs.c | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'src') 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; -- cgit v1.2.3