diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 2 | ||||
| -rw-r--r-- | src/base/io/io.c | 2 | ||||
| -rw-r--r-- | src/base/io/ioWriteBlif.c | 5 |
3 files changed, 3 insertions, 6 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index d9c0974b..02694856 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -13154,7 +13154,7 @@ int Abc_CommandIf( Abc_Frame_t * pAbc, int argc, char ** argv ) } pPars->pLutStruct = argv[globalUtilOptind]; globalUtilOptind++; - if ( !strlen(pPars->pLutStruct) == 2 && !strlen(pPars->pLutStruct) == 3 ) + if ( strlen(pPars->pLutStruct) != 2 && strlen(pPars->pLutStruct) != 3 ) { Abc_Print( -1, "Command line switch \"-S\" should be followed by a 2- or 3-char string (e.g. \"44\" or \"555\").\n" ); goto usage; diff --git a/src/base/io/io.c b/src/base/io/io.c index 60085168..d205d4cf 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -1597,7 +1597,7 @@ int IoCommandWriteBlif( Abc_Frame_t * pAbc, int argc, char **argv ) } pLutStruct = argv[globalUtilOptind]; globalUtilOptind++; - if ( !strlen(pLutStruct) == 2 && !strlen(pLutStruct) == 3 ) + if ( strlen(pLutStruct) != 2 && strlen(pLutStruct) != 3 ) { Abc_Print( -1, "Command line switch \"-S\" should be followed by a 2- or 3-char string (e.g. \"44\" or \"555\").\n" ); goto usage; diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c index 5370cd85..bb148bab 100644 --- a/src/base/io/ioWriteBlif.c +++ b/src/base/io/ioWriteBlif.c @@ -22,6 +22,7 @@ #include "main.h" #include "mio.h" #include "kit.h" +#include "if.h" ABC_NAMESPACE_IMPL_START @@ -882,10 +883,6 @@ void Io_NtkWriteNodeIntStruct( FILE * pFile, Abc_Obj_t * pNode, Vec_Int_t * vCov else { extern int If_CluMinimumBase( word * t, int * pSupp, int nVarsAll, int * pnVars ); - extern int If_CluCheckExt( void * p, word * pTruth, int nVars, int nLutLeaf, int nLutRoot, - char * pLut0, char * pLut1, word * pFunc0, word * pFunc1 ); - extern int If_CluCheckExt3( void * p, word * pTruth, int nVars, int nLutLeaf, int nLutLeaf2, int nLutRoot, - char * pLut0, char * pLut1, char * pLut2, word * pFunc0, word * pFunc1, word * pFunc2 ); static word TruthStore[16][1<<10] = {{0}}, * pTruths[16]; word pCube[1<<10], pRes[1<<10], Func0, Func1, Func2; |