From 97d3a89195c8aeb981a7f4171b939c48ec4bdfaa Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 7 Aug 2019 05:59:50 +0200 Subject: vhdl: remove severity from cover, report and severity from assume. --- src/grt/grt-lib.adb | 6 +++--- src/grt/grt-lib.ads | 11 +++-------- 2 files changed, 6 insertions(+), 11 deletions(-) (limited to 'src/grt') 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 -- cgit v1.2.3