From ac72d73dc6325410d2b69ee63eb727bfc42e46d9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 9 Nov 2014 23:13:37 -0800 Subject: Removing unauthorized printout in 'pdr'. --- src/proof/pdr/pdrCore.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/proof') diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c index 9789e7e0..20db8f67 100644 --- a/src/proof/pdr/pdrCore.c +++ b/src/proof/pdr/pdrCore.c @@ -619,6 +619,7 @@ int Pdr_ManSolveInt( Pdr_Man_t * p ) pCexNew = (p->pPars->fUseBridge || p->pPars->fStoreCex) ? Abc_CexMakeTriv( Aig_ManRegNum(p->pAig), Saig_ManPiNum(p->pAig), Saig_ManPoNum(p->pAig), k*Saig_ManPoNum(p->pAig)+p->iOutCur ) : (Abc_Cex_t *)(ABC_PTRINT_T)1; p->pPars->nFailOuts++; if ( p->pPars->vOutMap ) Vec_IntWriteEntry( p->pPars->vOutMap, p->iOutCur, 0 ); + if ( !p->pPars->fNotVerbose ) Abc_Print( 1, "Output %*d was trivially asserted in frame %2d (solved %*d out of %*d outputs).\n", nOutDigits, p->iOutCur, k, nOutDigits, p->pPars->nFailOuts, nOutDigits, Saig_ManPoNum(p->pAig) ); assert( Vec_PtrEntry(p->vCexes, p->iOutCur) == NULL ); -- cgit v1.2.3