summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcUnate.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-05-27 15:09:23 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-05-27 15:09:23 -0700
commit19c25fd6aab057b2373717f996fe538507c1b1e1 (patch)
tree7aa7cd7609a5de31d11b3455b6388fd9300c8d0f /src/base/abci/abcUnate.c
parent94356f0d1fa8e671303299717f631ecf0ca2f17e (diff)
downloadabc-19c25fd6aab057b2373717f996fe538507c1b1e1.tar.gz
abc-19c25fd6aab057b2373717f996fe538507c1b1e1.tar.bz2
abc-19c25fd6aab057b2373717f996fe538507c1b1e1.zip
Adding a wrapper around clock() for more accurate time counting in ABC.
Diffstat (limited to 'src/base/abci/abcUnate.c')
-rw-r--r--src/base/abci/abcUnate.c10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/base/abci/abcUnate.c b/src/base/abci/abcUnate.c
index 1bd05cd6..01b9cf51 100644
--- a/src/base/abci/abcUnate.c
+++ b/src/base/abci/abcUnate.c
@@ -74,14 +74,14 @@ void Abc_NtkPrintUnateBdd( Abc_Ntk_t * pNtk, int fUseNaive, int fVerbose )
int TotalSupps = 0;
int TotalUnate = 0;
int i;
- clock_t clk = clock();
- clock_t clkBdd, clkUnate;
+ abctime clk = Abc_Clock();
+ abctime clkBdd, clkUnate;
// compute the global BDDs
dd = (DdManager *)Abc_NtkBuildGlobalBdds(pNtk, 10000000, 1, 1, fVerbose);
if ( dd == NULL )
return;
-clkBdd = clock() - clk;
+clkBdd = Abc_Clock() - clk;
// get information about the network
// dd = pNtk->pManGlob;
@@ -121,14 +121,14 @@ clkBdd = clock() - clk;
Extra_UnateInfoDissolve( p );
}
}
-clkUnate = clock() - clk - clkBdd;
+clkUnate = Abc_Clock() - clk - clkBdd;
// print stats
printf( "Ins/Outs = %4d/%4d. Total supp = %5d. Total unate = %5d.\n",
Abc_NtkCiNum(pNtk), Abc_NtkCoNum(pNtk), TotalSupps, TotalUnate );
ABC_PRT( "Glob BDDs", clkBdd );
ABC_PRT( "Unateness", clkUnate );
- ABC_PRT( "Total ", clock() - clk );
+ ABC_PRT( "Total ", Abc_Clock() - clk );
// deref the PO functions
// Abc_NtkFreeGlobalBdds( pNtk );