diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-15 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-15 08:01:00 -0800 |
| commit | 0871bffae307e0553e0c5186336189e8b55cf6a6 (patch) | |
| tree | 4571d1563fe33a53a57fea1c35fb668b9d33265f /src/opt/res/resCore.c | |
| parent | f936cc0680c98ffe51b3a1716c996072d5dbf76c (diff) | |
| download | abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.gz abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.bz2 abc-0871bffae307e0553e0c5186336189e8b55cf6a6.zip | |
Version abc90215
Diffstat (limited to 'src/opt/res/resCore.c')
| -rw-r--r-- | src/opt/res/resCore.c | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/opt/res/resCore.c b/src/opt/res/resCore.c index a19a1573..cce3b48a 100644 --- a/src/opt/res/resCore.c +++ b/src/opt/res/resCore.c @@ -93,7 +93,7 @@ extern int s_ResynTime; Res_Man_t * Res_ManAlloc( Res_Par_t * pPars ) { Res_Man_t * p; - p = ALLOC( Res_Man_t, 1 ); + p = ABC_ALLOC( Res_Man_t, 1 ); memset( p, 0, sizeof(Res_Man_t) ); assert( pPars->nWindow > 0 && pPars->nWindow < 100 ); assert( pPars->nCands > 0 && pPars->nCands < 100 ); @@ -143,18 +143,18 @@ void Res_ManFree( Res_Man_t * p ) printf( "Proved = %d.", p->nProvedSets ); printf( "\n" ); - PRTP( "Windowing ", p->timeWin, p->timeTotal ); - PRTP( "Divisors ", p->timeDiv, p->timeTotal ); - PRTP( "Strashing ", p->timeAig, p->timeTotal ); - PRTP( "Simulation ", p->timeSim, p->timeTotal ); - PRTP( "Candidates ", p->timeCand, p->timeTotal ); - PRTP( "SAT solver ", p->timeSatTotal, p->timeTotal ); - PRTP( " sat ", p->timeSatSat, p->timeTotal ); - PRTP( " unsat ", p->timeSatUnsat, p->timeTotal ); - PRTP( " simul ", p->timeSatSim, p->timeTotal ); - PRTP( "Interpol ", p->timeInt, p->timeTotal ); - PRTP( "Undating ", p->timeUpd, p->timeTotal ); - PRTP( "TOTAL ", p->timeTotal, p->timeTotal ); + ABC_PRTP( "Windowing ", p->timeWin, p->timeTotal ); + ABC_PRTP( "Divisors ", p->timeDiv, p->timeTotal ); + ABC_PRTP( "Strashing ", p->timeAig, p->timeTotal ); + ABC_PRTP( "Simulation ", p->timeSim, p->timeTotal ); + ABC_PRTP( "Candidates ", p->timeCand, p->timeTotal ); + ABC_PRTP( "SAT solver ", p->timeSatTotal, p->timeTotal ); + ABC_PRTP( " sat ", p->timeSatSat, p->timeTotal ); + ABC_PRTP( " unsat ", p->timeSatUnsat, p->timeTotal ); + ABC_PRTP( " simul ", p->timeSatSim, p->timeTotal ); + ABC_PRTP( "Interpol ", p->timeInt, p->timeTotal ); + ABC_PRTP( "Undating ", p->timeUpd, p->timeTotal ); + ABC_PRTP( "TOTAL ", p->timeTotal, p->timeTotal ); } Res_WinFree( p->pWin ); if ( p->pAig ) Abc_NtkDelete( p->pAig ); @@ -165,7 +165,7 @@ void Res_ManFree( Res_Man_t * p ) Vec_VecFree( p->vResubs ); Vec_VecFree( p->vResubsW ); Vec_VecFree( p->vLevels ); - free( p ); + ABC_FREE( p ); } /**Function************************************************************* |