diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 21:17:28 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 21:17:28 -0800 |
commit | bea3385fe5a69502fe77ab564c9383671e5c05d2 (patch) | |
tree | 407635d8f6aa39ade5bb44998f36738100892c4e /src/opt/dau | |
parent | a4503d1c0b7e5f84c8a9145e4650615c29fe81df (diff) | |
download | abc-bea3385fe5a69502fe77ab564c9383671e5c05d2.tar.gz abc-bea3385fe5a69502fe77ab564c9383671e5c05d2.tar.bz2 abc-bea3385fe5a69502fe77ab564c9383671e5c05d2.zip |
Experiments with function enumeration.
Diffstat (limited to 'src/opt/dau')
-rw-r--r-- | src/opt/dau/dauNpn.c | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index b1651540..5ba624f6 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -76,16 +76,11 @@ void Dau_TruthEnum() } if ( pTable == NULL ) printf( "Cannot alloc memory for table.\n" ); - -// for ( tCur = 0; tCur < nFuncs; tCur++ ) -// if ( (tCur & 0x07FFFFFF) == 0 ) -// printf( "%08x : %08x\n", (int)tCur, pTable[(int)tCur] ); - for ( tCur = 0; tCur < nFuncs; tCur++ ) { - if ( (tCur & 0xFFFF) == 0 ) + if ( (tCur & 0x3FFFF) == 0 ) { - printf( "Finished %08x. ", (int)tCur ); + printf( "Finished %08x. Classes = %6d. ", (int)tCur, Vec_IntSize(vNpns) ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); fflush(stdout); } |