diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-08 08:57:41 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-08 08:57:41 +0300 |
| commit | fff82d4d912b19ad2f77f7e4bb28e4d250c6054d (patch) | |
| tree | 22ca18a7b2d9275333dd24a0840ec9ea3d2d6b3f /src | |
| parent | c497acde5db6fcc4b7f272c04c65dbcaad7d02a0 (diff) | |
| download | abc-fff82d4d912b19ad2f77f7e4bb28e4d250c6054d.tar.gz abc-fff82d4d912b19ad2f77f7e4bb28e4d250c6054d.tar.bz2 abc-fff82d4d912b19ad2f77f7e4bb28e4d250c6054d.zip | |
Expriments with functions.
Diffstat (limited to 'src')
| -rw-r--r-- | src/opt/dau/dauNpn.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 23b1df69..a19c438d 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -519,6 +519,7 @@ void Dau_TablesSave( int nInputs, int nVars, Vec_Mem_t * vTtMem, Vec_Mem_t * vTt fwrite( Vec_IntArray(vNodSup), 4, Vec_IntSize(vNodSup), pFile ); fclose( pFile ); printf( "Dumped files with %10d functions and %10d classes.\n", Vec_IntSize(vMapping), Vec_IntSize(vNodSup) ); + fflush(stdout); } void Dau_TablesLoad( int nInputs, int nVars, Vec_Mem_t * vTtMem, Vec_Mem_t * vTtMemA, Vec_Int_t * vNodSup, Vec_Int_t * vMapping ) { |