diff options
Diffstat (limited to 'src/map/scl/sclTime.c')
| -rw-r--r-- | src/map/scl/sclTime.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/map/scl/sclTime.c b/src/map/scl/sclTime.c index 261e8c75..c684c2df 100644 --- a/src/map/scl/sclTime.c +++ b/src/map/scl/sclTime.c @@ -336,9 +336,12 @@ SC_Man * Abc_SclManStart( SC_Lib * pLib, Abc_Ntk_t * pNtk, int fUseWireLoads ) ***********************************************************************/ void Abc_SclTimePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, int fUseWireLoads, int fShowAll, int fShort ) { + int fDumpStats = 0; SC_Man * p; p = Abc_SclManStart( pLib, pNtk, fUseWireLoads ); Abc_SclTimeNtkPrint( p, fShowAll, fShort ); + if ( fDumpStats ) + Abc_SclDumpStats( p, "stats.txt", 0 ); Abc_SclManFree( p ); } |