Actions
Task #7300
closedMore timing metrics in generation statistics
Start date:
06/17/2016
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
2.3.39
Description
Additional timing metrics in generation statistics are needed. This is important to know on what tasks MicroTESK is spending its time. Such metrics include:
- Template parsing time
- Sequence construction time
- Data generation time
- Simulation time
- etc.
Updated by Andrei Tatarnikov over 8 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Added command-line option: --time-statistics
(short form -ts
) that enables printing time statistics in the following format:
Time Statistics Template parsing time: 0.126 seconds (40%) Sequence construction time: 0.042 seconds (13%) Sequence concretization time: 0.103 seconds (32%) Simulation time: 0.034 seconds (10%) Printing time: 0.009 seconds (2%)
Updated by Andrei Tatarnikov over 8 years ago
- Status changed from Resolved to Closed
- Published in build set to 2.3.39
Actions