diff options
| author | Thomas Hiscock <thomas.hiscock@wanadoo.fr> | 2017-01-05 21:02:13 +0100 |
|---|---|---|
| committer | Thomas Hiscock <thomas.hiscock@wanadoo.fr> | 2017-01-05 21:42:07 +0100 |
| commit | 46b02a2f1217646ee475e5169a372690d88255ea (patch) | |
| tree | af57d47fc380869da9cbdbd05d177ef27e6f8f12 /src/vhdl | |
| parent | 603e2fe204cb578e2ac3f67b80a1c447205d40b2 (diff) | |
| download | ghdl-46b02a2f1217646ee475e5169a372690d88255ea.tar.gz ghdl-46b02a2f1217646ee475e5169a372690d88255ea.tar.bz2 ghdl-46b02a2f1217646ee475e5169a372690d88255ea.zip | |
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.
Diffstat (limited to 'src/vhdl')
| -rw-r--r-- | src/vhdl/translate/trans-chap9.adb | 6 |
1 files changed, 4 insertions, 2 deletions
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; |