From 4bd7efa6cda58e3e108b800d72438b707d56dd47 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 13 Jan 2012 19:31:13 -0800
Subject: Added counting hits and misses during structural hashing.

---
 src/aig/gia/giaMan.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/aig/gia/giaMan.c')

diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index f09ca7b5..d290113f 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -70,6 +70,7 @@ Gia_Man_t * Gia_ManStart( int nObjsMax )
 ***********************************************************************/
 void Gia_ManStop( Gia_Man_t * p )  
 {
+    printf( "Hash table hits = %12u.   Hash table misses = %12u.\n", (int)p->nHashHit, (int)p->nHashMiss );
     Tim_ManStopP( (Tim_Man_t **)&p->pManTime );
     assert( p->pManTime == NULL );
     Vec_PtrFreeFree( p->vNamesIn );
-- 
cgit v1.2.3