From 19c25fd6aab057b2373717f996fe538507c1b1e1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 27 May 2013 15:09:23 -0700
Subject: Adding a wrapper around clock() for more accurate time counting in
 ABC.

---
 src/opt/sfm/sfmSat.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/opt/sfm/sfmSat.c')

diff --git a/src/opt/sfm/sfmSat.c b/src/opt/sfm/sfmSat.c
index 01b9d4cf..f96e2078 100644
--- a/src/opt/sfm/sfmSat.c
+++ b/src/opt/sfm/sfmSat.c
@@ -55,7 +55,7 @@ void Sfm_NtkWindowToSolver( Sfm_Ntk_t * p )
 {
     Vec_Int_t * vClause;
     int RetValue, iNode = -1, iFanin, i, k;
-    clock_t clk = clock();
+    abctime clk = Abc_Clock();
 //    if ( p->pSat )
 //        printf( "%d  ", p->pSat->stats.learnts );
     sat_solver_restart( p->pSat );
@@ -93,7 +93,7 @@ void Sfm_NtkWindowToSolver( Sfm_Ntk_t * p )
     // finalize
     RetValue = sat_solver_simplify( p->pSat );
     assert( RetValue );
-    p->timeCnf += clock() - clk;
+    p->timeCnf += Abc_Clock() - clk;
 } 
 
 /**Function*************************************************************
-- 
cgit v1.2.3