Adding a wrapper around clock() for more accurate time counting in ABC.

2 files changed, 5 insertions, 5 deletions

diff --git a/src/aig/hop/hop.h b/src/aig/hop/hop.h
index d8ce8062..7d9be165 100644
--- a/src/aig/hop/hop.h
+++ b/src/aig/hop/hop.h
@@ -106,8 +106,8 @@ struct Hop_Man_t_
     Vec_Ptr_t *      vPages;         // memory pages used by nodes
     Hop_Obj_t *      pListFree;      // the list of free nodes 
     // timing statistics
-    clock_t          time1;
-    clock_t          time2;
+    abctime          time1;
+    abctime          time2;
 };
 
 ////////////////////////////////////////////////////////////////////////
diff --git a/src/aig/hop/hopTable.c b/src/aig/hop/hopTable.c
index 1adab015..14e87699 100644
--- a/src/aig/hop/hopTable.c
+++ b/src/aig/hop/hopTable.c
@@ -168,8 +168,8 @@ void Hop_TableResize( Hop_Man_t * p )
     Hop_Obj_t * pEntry, * pNext;
     Hop_Obj_t ** pTableOld, ** ppPlace;
     int nTableSizeOld, Counter, nEntries, i;
-    clock_t clk;
-clk = clock();
+    abctime clk;
+clk = Abc_Clock();
     // save the old table
     pTableOld = p->pTable;
     nTableSizeOld = p->nTableSize;
@@ -193,7 +193,7 @@ clk = clock();
     nEntries = Hop_ManNodeNum(p);
     assert( Counter == nEntries );
 //    printf( "Increasing the structural table size from %6d to %6d. ", nTableSizeOld, p->nTableSize );
-//    ABC_PRT( "Time", clock() - clk );
+//    ABC_PRT( "Time", Abc_Clock() - clk );
     // replace the table and the parameters
     ABC_FREE( pTableOld );
 }