diff options
Diffstat (limited to 'src/map/scl/sclSize.h')
-rw-r--r-- | src/map/scl/sclSize.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/map/scl/sclSize.h b/src/map/scl/sclSize.h index 1bc79d98..ca3c2c06 100644 --- a/src/map/scl/sclSize.h +++ b/src/map/scl/sclSize.h @@ -73,6 +73,7 @@ struct SC_Man_ float SumArea0; // total area at the begining float MaxDelay0; // max delay at the begining float BestDelay; // best delay in the middle + float ReportDelay; // delay to report // runtime statistics abctime timeTotal; // starting/total time abctime timeCone; // critical path selection @@ -364,8 +365,8 @@ static inline void Abc_SclDumpStats( SC_Man * p, char * pFileName, abctime Time fprintf( pTable, "%d ", Abc_NtkPoNum(p->pNtk) ); fprintf( pTable, "%d ", Abc_NtkNodeNum(p->pNtk) ); fprintf( pTable, "%d ", (int)p->SumArea ); - fprintf( pTable, "%d ", (int)SC_LibTimePs(p->pLib, p->MaxDelay) ); - fprintf( pTable, "%.2f ", 1.0*Time/CLOCKS_PER_SEC ); + fprintf( pTable, "%d ", (int)p->ReportDelay ); +// fprintf( pTable, "%.2f ", 1.0*Time/CLOCKS_PER_SEC ); fprintf( pTable, "\n" ); fclose( pTable ); } |