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/grt-lib.ads | |
| 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/grt-lib.ads')
| -rw-r--r-- | src/grt/grt-lib.ads | 11 |
1 files changed, 3 insertions, 8 deletions
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 |