Skip to content

A
abc
Commit 7d781c37 by Alan Mishchenko
Options

New command 'testexact'.

parent 834e2480
Showing with 2 additions and 2 deletions
src/sat/bmc/bmcMaj3.c
...@@ -1301,7 +1301,7 @@ int Zyx_TestGetTruthTablePars( char * pFileName, word * pTruth, int * nVars, int ...@@ -1301,7 +1301,7 @@ int Zyx_TestGetTruthTablePars( char * pFileName, word * pTruth, int * nVars, int
if ( !Abc_TtIsHexDigit(*pCur) ) if ( !Abc_TtIsHexDigit(*pCur) )
break; break;
Symb = *pCur; *pCur = 0; Symb = *pCur; *pCur = 0;
nLength = strlen(pBuffer); nLength = (int)strlen(pBuffer);
if ( nLength == 1 ) if ( nLength == 1 )
*nVars = 2; *nVars = 2;
else if ( nLength == 2 ) else if ( nLength == 2 )
...@@ -1368,7 +1368,7 @@ int Zyx_TestReadNode( char * pLine, Vec_Wrd_t * vTruths, int nVars, int nLutSize ...@@ -1368,7 +1368,7 @@ int Zyx_TestReadNode( char * pLine, Vec_Wrd_t * vTruths, int nVars, int nLutSize
return 0; return 0;
if ( (int)strlen(pLine) != 1 + nLutSize + (1 << nLutSize) ) if ( (int)strlen(pLine) != 1 + nLutSize + (1 << nLutSize) )
{ {
printf( "Node representation has %d chars (expecting %d chars).\n", strlen(pLine), 1 + nLutSize + (1 << nLutSize) ); printf( "Node representation has %d chars (expecting %d chars).\n", (int)strlen(pLine), 1 + nLutSize + (1 << nLutSize) );
return 0; return 0;
} }
if ( pLine[0] != 'A' + iObj ) if ( pLine[0] != 'A' + iObj )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment