diff options
Diffstat (limited to 'src/grt/grt-options.ads')
| -rw-r--r-- | src/grt/grt-options.ads | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/grt/grt-options.ads b/src/grt/grt-options.ads index 44a85b6..604952e 100644 --- a/src/grt/grt-options.ads +++ b/src/grt/grt-options.ads @@ -118,10 +118,6 @@ package Grt.Options is -- Handling of assertions from IEEE library. Ieee_Asserts : Assert_Handling := Enable_Asserts; - -- Set by --stop-time=XXX to stop the simulation at or just after XXX. - -- (unit is fs in fact). - Stop_Time : Std_Time := Std_Time'Last; - -- Set by --stop-delta=XXX to stop the simulation after XXX delta cycles. Stop_Delta : Natural := 5000; @@ -132,6 +128,9 @@ package Grt.Options is type Activity_Mode is (Activity_All, Activity_Minimal, Activity_None); Flag_Activity : Activity_Mode := Activity_Minimal; + -- If true, the simulation should be stopped. + Break_Simulation : Boolean; + -- Set by --thread= -- Number of threads used to do the simulation. -- 1 mean no additionnal threads, 0 means as many threads as number of |