From a5042e19c42e1bfa8689bb2381c37d9771f22365 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 1 Aug 2018 20:40:01 -0800
Subject: Experiments with function enumeration.

---
 src/opt/dau/dauNpn.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/opt')

diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c
index 0d8aae24..7484449f 100644
--- a/src/opt/dau/dauNpn.c
+++ b/src/opt/dau/dauNpn.c
@@ -47,7 +47,7 @@ ABC_NAMESPACE_IMPL_START
 ***********************************************************************/
 void Dau_TruthEnum()
 {
-    int fUseTable = 0;
+    int fUseTable = 1;
     abctime clk = Abc_Clock();
 #ifdef USE4VARS
     int nVars   = 4;
@@ -76,6 +76,11 @@ void Dau_TruthEnum()
     }
     if ( pTable == NULL )
         printf( "Cannot alloc memory for table.\n" );
+
+    for ( i = 0; i <= 0x7FFFFFFF; i++ )
+        if ( (i & 0x0FFFFFFF) == 0x0FFFFFFF )
+            printf( "%08x : %08x\n", i, pTable[i] );
+
     for ( tCur = 0; tCur < nFuncs; tCur++ )
     {
         if ( (tCur & 0xFFFF) == 0 )
-- 
cgit v1.2.3