From 46b02a2f1217646ee475e5169a372690d88255ea Mon Sep 17 00:00:00 2001 From: Thomas Hiscock Date: Thu, 5 Jan 2017 21:02:13 +0100 Subject: removing PSL coverage hit default report It closes #228. Nothing is displayed unless the user specifies a report statement. Testcase added to check this behaviour. --- src/vhdl/translate/trans-chap9.adb | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/vhdl') diff --git a/src/vhdl/translate/trans-chap9.adb b/src/vhdl/translate/trans-chap9.adb index 37d4e1fb2..4147c00b5 100644 --- a/src/vhdl/translate/trans-chap9.adb +++ b/src/vhdl/translate/trans-chap9.adb @@ -549,8 +549,10 @@ package body Trans.Chap9 is Chap8.Translate_Report (Stmt, Ghdl_Psl_Assert_Failed, Severity_Level_Error); when Iir_Kind_Psl_Cover_Statement => - Chap8.Translate_Report - (Stmt, Ghdl_Psl_Cover, Severity_Level_Note); + if Get_Report_Expression (Stmt) /= Null_Iir then + Chap8.Translate_Report + (Stmt, Ghdl_Psl_Cover, Severity_Level_Note); + end if; when others => Error_Kind ("Translate_Psl_Directive_Statement", Stmt); end case; -- cgit v1.2.3