Project

General

Profile

Task #7300

More timing metrics in generation statistics

Added by Andrei Tatarnikov almost 3 years ago. Updated almost 3 years ago.

Status:
Closed
Priority:
Urgent
Category:
Generator
Target version:
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:

  1. Template parsing time
  2. Sequence construction time
  3. Data generation time
  4. Simulation time
  5. etc.

History

#1

Updated by Andrei Tatarnikov almost 3 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%)
#2

Updated by Andrei Tatarnikov almost 3 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 2.3.39

Also available in: Atom PDF