diff options
Diffstat (limited to 'src/grt/grt-options.ads')
-rw-r--r-- | src/grt/grt-options.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/grt/grt-options.ads b/src/grt/grt-options.ads index 3d5a8bf15..495391e43 100644 --- a/src/grt/grt-options.ads +++ b/src/grt/grt-options.ads @@ -119,9 +119,13 @@ package Grt.Options is -- Set by --checks to do internal checks. Checks : Boolean := False; + -- For --assert-level -- Level at which an assert stop the simulation. Severity_Level : Integer := Grt.Severity.Failure_Severity; + -- Level at which an assert displays a backtrace. + Backtrace_Severity : Integer := Grt.Severity.None_Severity; + -- How assertions are handled. type Assert_Handling is (Enable_Asserts, |