diff options
Diffstat (limited to 'translate/grt/grt-stats.ads')
| -rw-r--r-- | translate/grt/grt-stats.ads | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/translate/grt/grt-stats.ads b/translate/grt/grt-stats.ads index 7844a86eb..8b2307391 100644 --- a/translate/grt/grt-stats.ads +++ b/translate/grt/grt-stats.ads @@ -20,23 +20,21 @@ package Grt.Stats is -- Entry points to gather statistics. procedure Start_Elaboration; procedure Start_Order; - procedure Start_Cycles; -- Time in user processes. procedure Start_Processes; - procedure End_Processes; + -- Time in next time computation. procedure Start_Next_Time; - procedure End_Next_Time; + -- Time in signals update. procedure Start_Update; - procedure End_Update; + -- Time in process resume procedure Start_Resume; - procedure End_Resume; procedure End_Simulation; |