From 787ef6f900f18ea853c01edaf00f0e6836b61834 Mon Sep 17 00:00:00 2001 From: Tristan Gingold 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/vhdl/simulate') 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