diff options
Diffstat (limited to 'src/grt/grt-options.ads')
| -rw-r--r-- | src/grt/grt-options.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/grt/grt-options.ads b/src/grt/grt-options.ads index 604952e20..7233232d8 100644 --- a/src/grt/grt-options.ads +++ b/src/grt/grt-options.ads @@ -121,6 +121,9 @@ package Grt.Options is -- Set by --stop-delta=XXX to stop the simulation after XXX delta cycles. Stop_Delta : Natural := 5000; + -- Set by --stop-time=X to stop the simulation at time X. + Stop_Time : Std_Time := Std_Time'Last; + -- Set by --no-run -- If set, do not simulate, only elaborate. Flag_No_Run : Boolean := False; |