From b4cf2f7448f1bd85c7f4f33daeed14a5f7cac602 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 2 Nov 2014 17:35:47 -0800 Subject: Added switches '-c' and '-n' to 'init'. --- src/base/abci/abcDar.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/abci/abcDar.c') 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, ". " ); } } -- cgit v1.2.3