Import vests testsuite

1 files changed, 13 insertions, 0 deletions

diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-high-attribute.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-high-attribute.vhdl
new file mode 100644
index 0000000..18f508b
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-high-attribute.vhdl
@@ -0,0 +1,13 @@
+entity test is
+end test;
+
+architecture only of test is
+  type my_type is array(0 to 3) of integer;
+begin  -- only
+  p: process
+  begin  -- process p
+    assert my_type'high = 3 report "TEST FAILED high = 3" severity failure;
+    report "TEST PASSED high = 3";
+    wait;
+  end process p;
+end only;