diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-08-07 12:56:37 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-08-07 12:56:37 -0700 |
| commit | 99b33e5dbf5508833a2f4c19d234435cdac3738e (patch) | |
| tree | b0503e3530ecbee06b4f159bfdb46b680194f28f | |
| parent | 30ddf14c9093d88a04c8347e031411350572235e (diff) | |
| download | abc-99b33e5dbf5508833a2f4c19d234435cdac3738e.tar.gz abc-99b33e5dbf5508833a2f4c19d234435cdac3738e.tar.bz2 abc-99b33e5dbf5508833a2f4c19d234435cdac3738e.zip | |
Improvements to command 'twoexact'.
| -rw-r--r-- | src/sat/bmc/bmcMaj.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sat/bmc/bmcMaj.c b/src/sat/bmc/bmcMaj.c index fda9dcdd..f1c0aac5 100644 --- a/src/sat/bmc/bmcMaj.c +++ b/src/sat/bmc/bmcMaj.c @@ -1918,7 +1918,7 @@ void Exa4_ManPrintSolution( Exa4_Man_t * p, Vec_Int_t * vValues, int fFancy ) int Val2 = Vec_IntEntry(vValues, iVarStart+1); int Val3 = Vec_IntEntry(vValues, iVarStart+2); int Val4 = Vec_IntEntry(vValues, iVarStart+3); - int Val5 = Vec_IntEntry(vValues, iVarStart+4); + //int Val5 = Vec_IntEntry(vValues, iVarStart+4); printf( "%2d = ", i ); for ( k = 0; k < 2; k++ ) { @@ -1979,10 +1979,10 @@ void Exa4_ManGenTest( Vec_Wrd_t * vSimsIn, Vec_Wrd_t * vSimsOut, int nIns, int n } void Exa_ManExactSynthesis4_( Bmc_EsPar_t * pPars ) { - int i, m, fCompl = 0; + int i, m; Vec_Wrd_t * vSimsIn = Vec_WrdStart( 8 ); Vec_Wrd_t * vSimsOut = Vec_WrdStart( 8 ); - int Truths[2] = { 0x96969696, 0xE8E8E8E8 }; + int Truths[2] = { 0x96, 0xE8 }; for ( m = 0; m < 8; m++ ) { int iOutMint = 0; |