diff options
| author | tgingold <tgingold@users.noreply.github.com> | 2017-01-06 05:50:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-06 05:50:21 +0100 |
| commit | eec8ef9d7b1e14c636f4dc7a8a86073504403830 (patch) | |
| tree | af57d47fc380869da9cbdbd05d177ef27e6f8f12 /src | |
| parent | 603e2fe204cb578e2ac3f67b80a1c447205d40b2 (diff) | |
| parent | 46b02a2f1217646ee475e5169a372690d88255ea (diff) | |
| download | ghdl-eec8ef9d7b1e14c636f4dc7a8a86073504403830.tar.gz ghdl-eec8ef9d7b1e14c636f4dc7a8a86073504403830.tar.bz2 ghdl-eec8ef9d7b1e14c636f4dc7a8a86073504403830.zip | |
Merge pull request #251 from thomashk0/issue228
removing PSL coverage hit default report
Diffstat (limited to 'src')
| -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; |