diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-30 14:21:23 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-30 14:21:23 -0700 |
| commit | 473c5845633f099c408a4a6f11b65418784fd666 (patch) | |
| tree | 9197c855d9244ccb99fba561182bd5379db446fb /src | |
| parent | 37fd73cf9edb946e19b537ae94d8256f64db243e (diff) | |
| download | abc-473c5845633f099c408a4a6f11b65418784fd666.tar.gz abc-473c5845633f099c408a4a6f11b65418784fd666.tar.bz2 abc-473c5845633f099c408a4a6f11b65418784fd666.zip | |
Mismatch in bmc3 printout.
Diffstat (limited to 'src')
| -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 d5fdd1de..381ad110 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -2080,7 +2080,7 @@ int Abc_NtkDarBmc( Abc_Ntk_t * pNtk, int nStart, int nFrames, int nSizeMax, int Abc_Print( 1, "Incorrect return value. " ); else if ( RetValue == -1 ) { - Abc_Print( 1, "No output asserted in %d frames. Resource limit reached ", Abc_MaxInt(iFrame,0) ); + Abc_Print( 1, "No output asserted in %d frames. Resource limit reached ", Abc_MaxInt(iFrame+1,0) ); if ( nTimeLimit && Abc_Clock() > nTimeLimit ) Abc_Print( 1, "(timeout %d sec). ", nTimeLimit ); else @@ -2160,7 +2160,7 @@ int Abc_NtkDarBmc3( Abc_Ntk_t * pNtk, Saig_ParBmc_t * pPars, int fOrDecomp ) { if ( pPars->nFailOuts == 0 ) { - Abc_Print( 1, "No output asserted in %d frames. Resource limit reached ", Abc_MaxInt(pPars->iFrame,0) ); + Abc_Print( 1, "No output asserted in %d frames. Resource limit reached ", Abc_MaxInt(pPars->iFrame+1,0) ); if ( nTimeOut && Abc_Clock() > nTimeOut ) Abc_Print( 1, "(timeout %d sec). ", pPars->nTimeOut ); else |