diff options
author | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2008-07-22 01:29:29 +0000 |
---|---|---|
committer | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2008-07-22 01:29:29 +0000 |
commit | 5ee7db2803bac0a19f6d39891e41582400b8b457 (patch) | |
tree | 3785bba93b7f1939f7e5c837bc118bd9074286e5 /translate/grt/grt-options.adb | |
parent | 1ab385604669206c3874218ae1471d66561a54c8 (diff) | |
download | ghdl-5ee7db2803bac0a19f6d39891e41582400b8b457.tar.gz ghdl-5ee7db2803bac0a19f6d39891e41582400b8b457.tar.bz2 ghdl-5ee7db2803bac0a19f6d39891e41582400b8b457.zip |
Add --ieee-asserts= option.
Correctly elaborate anonymous subtypes in associations.
Diffstat (limited to 'translate/grt/grt-options.adb')
-rw-r--r-- | translate/grt/grt-options.adb | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/translate/grt/grt-options.adb b/translate/grt/grt-options.adb index 140f088b9..0cb515e97 100644 --- a/translate/grt/grt-options.adb +++ b/translate/grt/grt-options.adb @@ -147,6 +147,8 @@ package body Grt.Options is P (" --help, -h disp this help"); P (" --assert-level=LEVEL stop simulation if assert at LEVEL"); P (" LEVEL is note,warning,error,failure,none"); + P (" --ieee-asserts=POLICY enable or disable asserts from IEEE"); + P (" POLICY is enable,disable,disable-at-0"); P (" --stop-time=X stop the simulation at time X"); P (" X is expressed as a time value, without spaces: 1ns, ps..."); P (" --stop-delta=X stop the simulation cycle after X delta"); @@ -415,6 +417,16 @@ package body Grt.Options is else Error ("bad argument for --assert-level option, try --help"); end if; + elsif Len > 15 and then Argument (1 .. 15) = "--ieee-asserts=" then + if Argument (16 .. Len) = "disable" then + Ieee_Asserts := Disable_Asserts; + elsif Argument (16 .. Len) = "enable" then + Ieee_Asserts := Enable_Asserts; + elsif Argument (16 .. Len) = "disable-at-0" then + Ieee_Asserts := Disable_Asserts_At_Time_0; + else + Error ("bad argument for --ieee-asserts option, try --help"); + end if; elsif Argument = "--expect-failure" then Expect_Failure := True; elsif Len >= 13 and then Argument (1 .. 13) = "--stack-size=" then |