From 93754146a4c5e74eaa3f652e88e6efeac12407fe Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 3 Nov 2014 16:45:09 -0800 Subject: Bug fix in CEX printing. --- src/sat/bmc/bmcCexTools.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- cgit v1.2.3