diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 19:05:29 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 19:05:29 -0800 |
| commit | 9c81dac95fd39a6be5c8a8193222d9c24a1c0181 (patch) | |
| tree | 63fdd1a3fe79f51c454ec7ba9f08fc91d70cd298 /src/opt | |
| parent | d379ba2fdc018ed376344b503cd9dc75e52b2733 (diff) | |
| download | abc-9c81dac95fd39a6be5c8a8193222d9c24a1c0181.tar.gz abc-9c81dac95fd39a6be5c8a8193222d9c24a1c0181.tar.bz2 abc-9c81dac95fd39a6be5c8a8193222d9c24a1c0181.zip | |
Experiments with function enumeration.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauNpn.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index ecfd17d0..2b3725dc 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -78,8 +78,8 @@ void Dau_TruthEnum() printf( "Cannot alloc memory for table.\n" ); for ( tCur = 0; tCur < nFuncs; tCur++ ) { - if ( (tCur & 0xFFFFFF) == 0 ) - printf( "Finished %08x\n", tCur ), fflush(stdout); + if ( (tCur & 0xFFFF) == 0 ) + printf( "Finished %08x\n", (int)tCur ), fflush(stdout); if ( Abc_TtGetBit(pPres, (int)tCur) ) continue; //Extra_PrintBinary( stdout, (unsigned *)&tCur, 16 ); printf( " %04x\n", (int)tCur ); @@ -117,7 +117,7 @@ void Dau_TruthEnum() if ( pTable ) { FILE * pFile = fopen( pFileName, "wb" ); - fwrite( pTable, 8, nSizeW, pFile ); + int RetValue = fwrite( pTable, 8, nSizeW, pFile ); fclose( pFile ); ABC_FREE( pTable ); } @@ -139,7 +139,7 @@ unsigned * Dau_ReadFile( char * pFileName, int nSizeW ) { FILE * pFile = fopen( pFileName, "rb" ); unsigned * p = (unsigned *)ABC_CALLOC(word, nSizeW); - fread( p, sizeof(word), nSizeW, pFile ); + int RetValue = fread( p, sizeof(word), nSizeW, pFile ); fclose( pFile ); return p; } |