https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692016-06-24T14:56:00ZOpen-Source ProjectsMicroTESK - Task #7300: More timing metrics in generation statisticshttps://forge.ispras.ru/issues/7300?journal_id=276332016-06-24T14:56:00ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>Added command-line option: <code>--time-statistics</code> (short form <code>-ts</code>) that enables printing time statistics in the following format:</p>
<pre>
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%)
</pre> MicroTESK - Task #7300: More timing metrics in generation statisticshttps://forge.ispras.ru/issues/7300?journal_id=276352016-06-24T15:31:45ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>2.3.39</i></li></ul>