From 74351124ce592b7e184411772a837a28c58a6178 Mon Sep 17 00:00:00 2001 From: Nick Gasson Date: Wed, 4 Oct 2023 20:45:02 +0100 Subject: [PATCH] Check value of 'path_name and 'instance_name in tb_032 Checking for non-empty isn't sufficient as it would be non-empty in earlier standard revisions too. The change in LCS2016-032 requires the string to include the path to the variable of the protected type. --- vhdl_2019/tb_032.vhd | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/vhdl_2019/tb_032.vhd b/vhdl_2019/tb_032.vhd index 9ba10b08..4ad5e750 100644 --- a/vhdl_2019/tb_032.vhd +++ b/vhdl_2019/tb_032.vhd @@ -17,8 +17,8 @@ package body pack032 is constant vpath : string := value'path_name ; constant vinst : string := value'instance_name ; begin - assert vpath /= "" severity failure ; - assert vinst /= "" severity failure ; + assert vpath = ":tb_path_name_and_shared_variables_and_subprograms:u_e032:tb:t:value" report vpath severity failure ; + assert vinst = ":tb_path_name_and_shared_variables_and_subprograms(tb):u_e032@e032(arch):tb:t:value" report vinst severity failure ; value := value + 1 ; end procedure ; end protected body ;