From 4760983a461142eacceeed45ddcf5598e6a389a2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Jul 2012 18:15:08 -0700 Subject: Fixing time primtouts throughout the code. --- src/opt/dar/darLib.c | 4 ++-- src/opt/dar/darScript.c | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) (limited to 'src/opt/dar') diff --git a/src/opt/dar/darLib.c b/src/opt/dar/darLib.c index 67a5f59e..acf49b02 100644 --- a/src/opt/dar/darLib.c +++ b/src/opt/dar/darLib.c @@ -592,7 +592,7 @@ Dar_Lib_t * Dar_LibRead() ***********************************************************************/ void Dar_LibStart() { -// int clk = clock(); +// clock_t clk = clock(); assert( s_DarLib == NULL ); s_DarLib = Dar_LibRead(); // printf( "The 4-input library started with %d nodes and %d subgraphs. ", s_DarLib->nObjs - 4, s_DarLib->nSubgrTotal ); @@ -1189,7 +1189,7 @@ int Dar2_LibEval( Gia_Man_t * p, Vec_Int_t * vCutLits, unsigned uTruth, int fKee // int fTraining = 0; Dar_LibObj_t * pObj; int Out, k, Class, nNodesSaved, nNodesAdded, nNodesGained; - clock_t clk = clock(); +// clock_t clk = clock(); assert( Vec_IntSize(vCutLits) == 4 ); assert( (uTruth >> 16) == 0 ); // check if the cut exits and assigns leaves and their levels diff --git a/src/opt/dar/darScript.c b/src/opt/dar/darScript.c index be67b212..b59626af 100644 --- a/src/opt/dar/darScript.c +++ b/src/opt/dar/darScript.c @@ -721,7 +721,8 @@ Aig_Man_t * Dar_ManChoiceNew( Aig_Man_t * pAig, Dch_Pars_t * pPars ) int fConstruct = 0; Aig_Man_t * pMan, * pTemp; Vec_Ptr_t * vAigs; - int i, clk; + int i; + clock_t clk; clk = clock(); // vAigs = Dar_ManChoiceSynthesisExt(); -- cgit v1.2.3