From 787ef6f900f18ea853c01edaf00f0e6836b61834 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 19 Dec 2017 18:11:42 +0100
Subject: simul: fix issue228.

---
 src/vhdl/simulate/simul-simulation-main.adb | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/vhdl/simulate/simul-simulation-main.adb b/src/vhdl/simulate/simul-simulation-main.adb
index 47925c6e5..bd51b5b24 100644
--- a/src/vhdl/simulate/simul-simulation-main.adb
+++ b/src/vhdl/simulate/simul-simulation-main.adb
@@ -473,9 +473,11 @@ package body Simul.Simulation.Main is
                     (E.Instance, "psl assertion", E.Stmt,
                      "assertion violation", 2);
                when Iir_Kind_Psl_Cover_Statement =>
-                  Execute_Failed_Assertion
-                    (E.Instance, "psl cover", E.Stmt,
-                     "sequence covered", 0);
+                  if Get_Report_Expression (E.Stmt) /= Null_Iir then
+                     Execute_Failed_Assertion
+                       (E.Instance, "psl cover", E.Stmt,
+                        "sequence covered", 0);
+                  end if;
                   E.Done := True;
                when others =>
                   Error_Kind ("PSL_Process_Executer", E.Stmt);
-- 
cgit v1.2.3