luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Improvements to command 'twoexact'.

This commit is contained in:
Alan Mishchenko 2022-08-07 12:56:37 -07:00
parent 30ddf14c90
commit 99b33e5dbf
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/sat/bmc/bmcMaj.c
View File

@ -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 Val2 = Vec_IntEntry(vValues, iVarStart+1);
int Val3 = Vec_IntEntry(vValues, iVarStart+2); int Val3 = Vec_IntEntry(vValues, iVarStart+2);
int Val4 = Vec_IntEntry(vValues, iVarStart+3); int Val4 = Vec_IntEntry(vValues, iVarStart+3);
int Val5 = Vec_IntEntry(vValues, iVarStart+4); //int Val5 = Vec_IntEntry(vValues, iVarStart+4);
printf( "%2d = ", i ); printf( "%2d = ", i );
for ( k = 0; k < 2; k++ ) 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 ) 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 * vSimsIn = Vec_WrdStart( 8 );
Vec_Wrd_t * vSimsOut = 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++ ) for ( m = 0; m < 8; m++ )
{ {
int iOutMint = 0; int iOutMint = 0;