diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-08-07 05:59:50 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-08-08 04:33:32 +0200 |
commit | 97d3a89195c8aeb981a7f4171b939c48ec4bdfaa (patch) | |
tree | d7f4c9d6124a0a408be5d1e1003f44e33e14b5eb /src/grt | |
parent | 4e3f3f744ede1b4d6ad419383015dd6c78be1009 (diff) | |
download | ghdl-97d3a89195c8aeb981a7f4171b939c48ec4bdfaa.tar.gz ghdl-97d3a89195c8aeb981a7f4171b939c48ec4bdfaa.tar.bz2 ghdl-97d3a89195c8aeb981a7f4171b939c48ec4bdfaa.zip |
vhdl: remove severity from cover, report and severity from assume.
Diffstat (limited to 'src/grt')
-rw-r--r-- | src/grt/grt-lib.adb | 6 | ||||
-rw-r--r-- | src/grt/grt-lib.ads | 11 |
2 files changed, 6 insertions, 11 deletions
diff --git a/src/grt/grt-lib.adb b/src/grt/grt-lib.adb index 149f218eb..b6f006e4a 100644 --- a/src/grt/grt-lib.adb +++ b/src/grt/grt-lib.adb @@ -116,10 +116,10 @@ package body Grt.Lib is Do_Report ("psl assertion", Str, "Assertion violation", Severity, Loc); end Ghdl_Psl_Assert_Failed; - procedure Ghdl_Psl_Assume_Failed - (Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr) is + procedure Ghdl_Psl_Assume_Failed (Loc : Ghdl_Location_Ptr) is begin - Do_Report ("psl assumption", Str, "Assumption violation", Severity, Loc); + Do_Report ("psl assumption", null, "Assumption violation", + Error_Severity, Loc); end Ghdl_Psl_Assume_Failed; procedure Ghdl_Psl_Cover diff --git a/src/grt/grt-lib.ads b/src/grt/grt-lib.ads index 1f5e020d4..51f4b4a95 100644 --- a/src/grt/grt-lib.ads +++ b/src/grt/grt-lib.ads @@ -36,14 +36,9 @@ package Grt.Lib is (Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr); procedure Ghdl_Psl_Assert_Failed - (Str : Std_String_Ptr; - Severity : Integer; - Loc : Ghdl_Location_Ptr); - - procedure Ghdl_Psl_Assume_Failed - (Str : Std_String_Ptr; - Severity : Integer; - Loc : Ghdl_Location_Ptr); + (Str : Std_String_Ptr; Severity : Integer; Loc : Ghdl_Location_Ptr); + + procedure Ghdl_Psl_Assume_Failed (Loc : Ghdl_Location_Ptr); -- Called when a sequence is covered (in a cover directive) procedure Ghdl_Psl_Cover |