diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-02 17:35:47 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-02 17:35:47 -0800 |
commit | b4cf2f7448f1bd85c7f4f33daeed14a5f7cac602 (patch) | |
tree | 9ad178acb6aaab6e00a62541f01e5363ef201b99 /src/base/abci/abcDar.c | |
parent | 91885a6298e9df317f18658422f856bd4070a3b3 (diff) | |
download | abc-b4cf2f7448f1bd85c7f4f33daeed14a5f7cac602.tar.gz abc-b4cf2f7448f1bd85c7f4f33daeed14a5f7cac602.tar.bz2 abc-b4cf2f7448f1bd85c7f4f33daeed14a5f7cac602.zip |
Added switches '-c' and '-n' to 'init'.
Diffstat (limited to 'src/base/abci/abcDar.c')
-rw-r--r-- | src/base/abci/abcDar.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 1214e7b2..d2b74beb 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -2307,7 +2307,7 @@ int Abc_NtkDarBmc3( Abc_Ntk_t * pNtk, Saig_ParBmc_t * pPars, int fOrDecomp ) if ( pPars->nDropOuts ) Abc_Print( 1, " while others timed out (%d out of %d)", pPars->nDropOuts, nOutputs ); } - Abc_Print( 1, " after %d frames", pPars->iFrame ); + Abc_Print( 1, " after %d frames", pPars->iFrame+2 ); Abc_Print( 1, ". " ); } } |