diff options
| -rw-r--r-- | src/base/abci/abc.c | 1 | ||||
| -rw-r--r-- | src/opt/dau/dauNpn.c | 6 |
2 files changed, 5 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index d652b9f4..5280f5fc 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -13030,6 +13030,7 @@ int Abc_CommandTestColor( Abc_Frame_t * pAbc, int argc, char ** argv ) ***********************************************************************/ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) { + extern void Dau_NetworkEnumTest(); //Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); int nCutMax = 1; int nLeafMax = 4; diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 33937b5e..fb3d5db1 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -122,6 +122,7 @@ void Dau_TruthEnum() { FILE * pFile = fopen( pFileName, "wb" ); int RetValue = fwrite( pTable, 8, nSizeW, pFile ); + RetValue = 0; fclose( pFile ); ABC_FREE( pTable ); } @@ -145,6 +146,7 @@ unsigned * Dau_ReadFile( char * pFileName, int nSizeW ) FILE * pFile = fopen( pFileName, "rb" ); unsigned * p = (unsigned *)ABC_CALLOC(word, nSizeW); int RetValue = pFile ? fread( p, sizeof(word), nSizeW, pFile ) : 0; + RetValue = 0; if ( pFile ) { printf( "Finished reading file \"%s\".\n", pFileName ); @@ -178,7 +180,7 @@ void Dau_NetworkEnum() { abctime clk = Abc_Clock(); int Limit = 2; - int UseTwo = 1; + int UseTwo = 0; #ifdef USE4VARS int nVars = 4; int nSizeW = 1 << 14; @@ -191,7 +193,7 @@ void Dau_NetworkEnum() unsigned * pTable = Dau_ReadFile( pFileName, nSizeW ); Vec_Wec_t * vNpns = Vec_WecStart( 32 ); Vec_Wec_t * vNpns_ = Vec_WecStart( 32 ); - int i, v, u, g, k, m, n, Res, Entry, iPrev = 0, iLast = 1; + int i, v, u, g, k, m, n, Res, Entry; unsigned Inv = (unsigned)Abc_Tt6Mask(1 << (nVars-1)); // create constant function and buffer/inverter function pTable[0] |= (1 << 31); |