Bug fix in CEX printing.

93754146 · Alan Mishchenko · 44b79db4 · 93754146
Commit 93754146 authored Nov 03, 2014 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/sat/bmc/bmcCexTools.c
+1 -1

No files found.
--- 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;