diff options
| -rw-r--r-- | src/sat/bmc/bmcCexTools.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcCexTools.c b/src/sat/bmc/bmcCexTools.c index 05dade97..8e2e270f 100644 --- a/src/sat/bmc/bmcCexTools.c +++ b/src/sat/bmc/bmcCexTools.c @@ -306,7 +306,7 @@ void Bmc_CexBuildNetworkTest( Gia_Man_t * p, Abc_Cex_t * pCex ) ***********************************************************************/ void Bmc_CexPrint( Abc_Cex_t * pCex, int nInputs, int fVerbose ) { - int i, k, Count, iBit = 0; + int i, k, Count, iBit = pCex->nRegs; Abc_CexPrintStatsInputs( pCex, nInputs ); if ( !fVerbose ) return; |