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 495391e43..a0fb57177 100644 --- a/src/grt/grt-options.ads +++ b/src/grt/grt-options.ads @@ -135,6 +135,9 @@ package Grt.Options is -- Handling of assertions from IEEE library. Ieee_Asserts : Assert_Handling := Enable_Asserts; + -- Handling of assertions (except from IEEE library). + Asserts_Policy : Assert_Handling := Enable_Asserts; + -- Set by --stop-delta=XXX to stop the simulation after XXX delta cycles. Stop_Delta : Natural := 5000; |