diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 19:00:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 19:00:00 -0800 |
commit | d379ba2fdc018ed376344b503cd9dc75e52b2733 (patch) | |
tree | 9e489db8a2c1a070346b02634e1c6daf6241f08e /src/opt/dau/dauNpn.c | |
parent | 94f6bfef8d40c15bb386cde279203991f2d6c3dd (diff) | |
download | abc-d379ba2fdc018ed376344b503cd9dc75e52b2733.tar.gz abc-d379ba2fdc018ed376344b503cd9dc75e52b2733.tar.bz2 abc-d379ba2fdc018ed376344b503cd9dc75e52b2733.zip |
Experiments with function enumeration.
Diffstat (limited to 'src/opt/dau/dauNpn.c')
-rw-r--r-- | src/opt/dau/dauNpn.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 9adf5655..ecfd17d0 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -79,7 +79,7 @@ void Dau_TruthEnum() for ( tCur = 0; tCur < nFuncs; tCur++ ) { if ( (tCur & 0xFFFFFF) == 0 ) - printf( "Finished %08x\n", tCur ); + printf( "Finished %08x\n", tCur ), fflush(stdout); if ( Abc_TtGetBit(pPres, (int)tCur) ) continue; //Extra_PrintBinary( stdout, (unsigned *)&tCur, 16 ); printf( " %04x\n", (int)tCur ); @@ -108,6 +108,7 @@ void Dau_TruthEnum() } printf( "Computed %d NPN classes of %d variables. ", Vec_IntSize(vNpns), nVars ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); + fflush(stdout); Vec_IntFree( vNpns ); ABC_FREE( pPres ); ABC_FREE( pPerm ); @@ -244,12 +245,15 @@ void Dau_NetworkEnum() //printf("Finished %d nodes with %d functions.\n", Count++, Vec_IntSize(vNpns) ); iPrev = iLast; iLast = Vec_IntSize(vNpns)-1; - printf("Finished %d nodes with %d functions.\n", Count++, iLast - iPrev ); + printf("Finished %d nodes with %d functions. ", Count++, iLast - iPrev ); + Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); + fflush(stdout); } } Vec_IntFree( vNpns ); ABC_FREE( pTable ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); + fflush(stdout); } void Dau_NetworkEnumTest() { |