Import vests testsuite

1 files changed, 26 insertions, 0 deletions

diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/types/integer-types/subprogram-dynamic-type.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/types/integer-types/subprogram-dynamic-type.vhdl
new file mode 100644
index 000000000..92f5347ac
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/types/integer-types/subprogram-dynamic-type.vhdl
@@ -0,0 +1,26 @@
+entity test is
+end test;
+
+architecture only of test is
+  procedure proc ( constant l : in integer;
+                   constant r : in integer ) is
+    type dyn is range l to r;
+    constant x : dyn;
+  begin
+    
+  if r = 3 then
+    assert x = 1 report "TEST FAILED" severity FAILURE;
+  elsif r = 42 then
+    assert x = 0 report "TEST FAILED" severity FAILURE;
+  end if;
+    
+  end proc;
+begin  -- only
+  doit: process
+  begin  -- process doit
+    proc( 1, 3 );
+    proc( 0, 42 );
+    report "TEST PASSED";
+    wait;
+  end process doit;
+end only;