diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-01-04 22:35:11 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-01-04 22:35:11 -0800 |
| commit | 7d781c37e84850f04796ec8fda2fb4729f6402d3 (patch) | |
| tree | e10b7f67fe60190b86591e74cc2dd36ffcafcdbd /src/sat/bmc | |
| parent | 834e24801982138ad0d466f47bc873aebe7030c5 (diff) | |
| download | abc-7d781c37e84850f04796ec8fda2fb4729f6402d3.tar.gz abc-7d781c37e84850f04796ec8fda2fb4729f6402d3.tar.bz2 abc-7d781c37e84850f04796ec8fda2fb4729f6402d3.zip | |
New command 'testexact'.
Diffstat (limited to 'src/sat/bmc')
| -rw-r--r-- | src/sat/bmc/bmcMaj3.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/bmc/bmcMaj3.c b/src/sat/bmc/bmcMaj3.c index 0732da2a..f4949af5 100644 --- a/src/sat/bmc/bmcMaj3.c +++ b/src/sat/bmc/bmcMaj3.c @@ -1301,7 +1301,7 @@ int Zyx_TestGetTruthTablePars( char * pFileName, word * pTruth, int * nVars, int if ( !Abc_TtIsHexDigit(*pCur) ) break; Symb = *pCur; *pCur = 0; - nLength = strlen(pBuffer); + nLength = (int)strlen(pBuffer); if ( nLength == 1 ) *nVars = 2; else if ( nLength == 2 ) @@ -1368,7 +1368,7 @@ int Zyx_TestReadNode( char * pLine, Vec_Wrd_t * vTruths, int nVars, int nLutSize return 0; 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; } if ( pLine[0] != 'A' + iObj ) |