diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-09 17:52:34 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-09 17:52:34 -0800 |
| commit | 8355eb1d41cde28c5acca0790124bd15790d906f (patch) | |
| tree | 9b1bcb9c1ac6552039aafea8d14d0f86a515d242 | |
| parent | ce63869fe7ebb0e22af4833454daea0c5977f32f (diff) | |
| download | abc-8355eb1d41cde28c5acca0790124bd15790d906f.tar.gz abc-8355eb1d41cde28c5acca0790124bd15790d906f.tar.bz2 abc-8355eb1d41cde28c5acca0790124bd15790d906f.zip | |
Enabling multi-output solving in 'pdr'.
| -rw-r--r-- | src/base/abci/abcDar.c | 4 |
1 files changed, 2 insertions, 2 deletions
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 |