&if -w to transfer timing

This commit is contained in:
Eddie Hung 2020-05-06 09:47:16 -07:00
parent f8d093b695
commit 0b4ebeb19f
1 changed files with 3 additions and 1 deletions

View File

@ -2362,9 +2362,11 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars )
// print delay trace
if ( pPars->fVerboseTrace )
{
Gia_ManTransferTiming( pNew, p );
pNew->pLutLib = pPars->pLutLib;
Gia_ManDelayTraceLutPrint( pNew, 1 );
Gia_ManDelayTraceLutPrint( pNew, pPars->fVerbose );
pNew->pLutLib = NULL;
Gia_ManTransferTiming( p, pNew );
}
return pNew;
}