summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2022-08-07 12:56:37 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2022-08-07 12:56:37 -0700
commit99b33e5dbf5508833a2f4c19d234435cdac3738e (patch)
treeb0503e3530ecbee06b4f159bfdb46b680194f28f /src
parent30ddf14c9093d88a04c8347e031411350572235e (diff)
downloadabc-99b33e5dbf5508833a2f4c19d234435cdac3738e.tar.gz
abc-99b33e5dbf5508833a2f4c19d234435cdac3738e.tar.bz2
abc-99b33e5dbf5508833a2f4c19d234435cdac3738e.zip
Improvements to command 'twoexact'.
Diffstat (limited to 'src')
-rw-r--r--src/sat/bmc/bmcMaj.c6
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;