diff options
Diffstat (limited to 'src/grt/grt-processes.ads')
| -rw-r--r-- | src/grt/grt-processes.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/grt/grt-processes.ads b/src/grt/grt-processes.ads index 00b057e41..ff51b39bb 100644 --- a/src/grt/grt-processes.ads +++ b/src/grt/grt-processes.ads @@ -43,6 +43,9 @@ package Grt.Processes is -- < 0 in case of failure or stop request. function Simulation return Integer; + -- To be called after Simulation to run finalizer and end hooks. + function Finalize_Simulation return Integer; + -- Number of delta cycles. Nbr_Delta_Cycles : Integer; -- Number of non-delta cycles. |