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

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

(limited to 'src')

diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c
index 5ba624f6..6d9f6435 100644
--- a/src/opt/dau/dauNpn.c
+++ b/src/opt/dau/dauNpn.c
@@ -141,10 +141,12 @@ void Dau_TruthEnum()
 ***********************************************************************/
 unsigned * Dau_ReadFile( char * pFileName, int nSizeW )
 {
+    abctime clk = Abc_Clock();
     FILE * pFile = fopen( pFileName, "rb" );
     unsigned * p = (unsigned *)ABC_CALLOC(word, nSizeW);
     int RetValue = fread( p, sizeof(word), nSizeW, pFile );
     fclose( pFile );
+    Abc_PrintTime( 1, "File reading", Abc_Clock() - clk );
     return p;
 }
 void Dau_AddFunction( word tCur, int nVars, unsigned * pTable, Vec_Int_t * vNpns )
@@ -262,7 +264,7 @@ void Dau_NetworkEnum()
 }
 void Dau_NetworkEnumTest()
 {
-    Dau_TruthEnum();
+    //Dau_TruthEnum();
     Dau_NetworkEnum();
 }
 
-- 
cgit v1.2.3