diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-10 13:20:20 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-10 13:20:20 -0800 |
commit | f2d096c9f04acf95e959842d63b6febf2f8eb786 (patch) | |
tree | 72fb2665f5937a4da60f5275d22b03b9e81bd96d /src/sat/bmc/bmcCexTools.c | |
parent | d335ee096e902844b9a94076e8ce5855f74d9bde (diff) | |
download | abc-f2d096c9f04acf95e959842d63b6febf2f8eb786.tar.gz abc-f2d096c9f04acf95e959842d63b6febf2f8eb786.tar.bz2 abc-f2d096c9f04acf95e959842d63b6febf2f8eb786.zip |
Improving CEX minimization.
Diffstat (limited to 'src/sat/bmc/bmcCexTools.c')
-rw-r--r-- | src/sat/bmc/bmcCexTools.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sat/bmc/bmcCexTools.c b/src/sat/bmc/bmcCexTools.c index 1c0d798c..9c80b278 100644 --- a/src/sat/bmc/bmcCexTools.c +++ b/src/sat/bmc/bmcCexTools.c @@ -304,10 +304,10 @@ void Bmc_CexBuildNetworkTest( Gia_Man_t * p, Abc_Cex_t * pCex ) SeeAlso [] ***********************************************************************/ -void Bmc_CexPrint( Abc_Cex_t * pCex, int nInputs, int fVerbose ) +void Bmc_CexPrint( Abc_Cex_t * pCex, int nRealPis, int fVerbose ) { int i, k, Count, iBit = pCex->nRegs; - Abc_CexPrintStatsInputs( pCex, nInputs ); + Abc_CexPrintStatsInputs( pCex, nRealPis ); if ( !fVerbose ) return; @@ -315,7 +315,7 @@ void Bmc_CexPrint( Abc_Cex_t * pCex, int nInputs, int fVerbose ) { Count = 0; printf( "%3d : ", i ); - for ( k = 0; k < nInputs; k++ ) + for ( k = 0; k < nRealPis; k++ ) { Count += Abc_InfoHasBit(pCex->pData, iBit); printf( "%d", Abc_InfoHasBit(pCex->pData, iBit++) ); |