Task #7300
closed
More timing metrics in generation statistics
Added by Andrei Tatarnikov over 8 years ago.
Updated over 8 years ago.
Assignee:
Andrei Tatarnikov
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.
- 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%)
- Status changed from Resolved to Closed
- Published in build set to 2.3.39
Also available in: Atom
PDF