From bea3385fe5a69502fe77ab564c9383671e5c05d2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 1 Aug 2018 21:17:28 -0800 Subject: [PATCH] Experiments with function enumeration. --- src/opt/dau/dauNpn.c | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index b16515402..5ba624f68 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); }