From 8355eb1d41cde28c5acca0790124bd15790d906f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 9 Dec 2012 17:52:34 -0800 Subject: Enabling multi-output solving in 'pdr'. --- src/base/abci/abcDar.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 6ca00d3b..29eb98a2 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -2150,7 +2150,7 @@ int Abc_NtkDarBmc3( Abc_Ntk_t * pNtk, Saig_ParBmc_t * pPars, int fOrDecomp ) else if ( Vec_PtrCountZero(pMan->vSeqModelVec) == 0 ) Abc_Print( 1, "All %d outputs are found to be SAT. ", nOutputs ); else - Abc_Print( 1, "Some outputs (%d out of %d) are proved SAT. ", + Abc_Print( 1, "Some outputs (%d out of %d) are found to be SAT. ", nOutputs - Vec_PtrCountZero(pMan->vSeqModelVec), nOutputs ); if ( pNtk->vSeqModelVec ) Vec_PtrFreeFree( pNtk->vSeqModelVec ); @@ -2729,7 +2729,7 @@ int Abc_NtkDarPdr( Abc_Ntk_t * pNtk, Pdr_Par_t * pPars ) else if ( Vec_PtrCountZero(pMan->vSeqModelVec) == 0 ) Abc_Print( 1, "All %d outputs are found to be SAT. ", nOutputs ); else - Abc_Print( 1, "Some outputs (%d out of %d) are proved SAT. ", + Abc_Print( 1, "Some outputs (%d out of %d) are found to be SAT. ", nOutputs - Vec_PtrCountZero(pMan->vSeqModelVec), nOutputs ); } else -- cgit v1.2.3