diff options
Diffstat (limited to 'src/bool/dec/decMan.c')
| -rw-r--r-- | src/bool/dec/decMan.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bool/dec/decMan.c b/src/bool/dec/decMan.c index 7de31a7e..e6b1c5bd 100644 --- a/src/bool/dec/decMan.c +++ b/src/bool/dec/decMan.c @@ -45,14 +45,14 @@ ABC_NAMESPACE_IMPL_START Dec_Man_t * Dec_ManStart() { Dec_Man_t * p; -// clock_t clk = clock(); +// abctime clk = Abc_Clock(); p = ABC_ALLOC( Dec_Man_t, 1 ); p->pMvcMem = Mvc_ManagerStart(); p->vCubes = Vec_IntAlloc( 8 ); p->vLits = Vec_IntAlloc( 8 ); // canonical forms, phases, perms Extra_Truth4VarNPN( &p->puCanons, &p->pPhases, &p->pPerms, &p->pMap ); -//ABC_PRT( "NPN classes precomputation time", clock() - clk ); +//ABC_PRT( "NPN classes precomputation time", Abc_Clock() - clk ); return p; } |