diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-03 16:45:09 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-03 16:45:09 -0800 |
commit | 93754146a4c5e74eaa3f652e88e6efeac12407fe (patch) | |
tree | 09f8308c5b71bf7f3c4441a7020020aa780a01ce /src/sat | |
parent | 44b79db4b8bc3adc9e9df49c44cfe55ad1e1a259 (diff) | |
download | abc-93754146a4c5e74eaa3f652e88e6efeac12407fe.tar.gz abc-93754146a4c5e74eaa3f652e88e6efeac12407fe.tar.bz2 abc-93754146a4c5e74eaa3f652e88e6efeac12407fe.zip |
Bug fix in CEX printing.
Diffstat (limited to 'src/sat')
-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; |