Import vests testsuite

2 files changed, 36 insertions, 0 deletions

diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/aggregates/simple-aggregate-lvalue.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/aggregates/simple-aggregate-lvalue.vhdl
new file mode 100644
index 0000000..2f338a2
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/aggregates/simple-aggregate-lvalue.vhdl
@@ -0,0 +1,19 @@
+entity test is
+end test;
+
+architecture only of test is
+  type int_array is array (3 downto 0) of integer;
+begin  -- only
+  p: process
+    variable w, x, y, z : integer := 0;
+    variable q : int_array := (3, 2, 1, 0);
+  begin  -- process p
+    (w, x, y, z) := q;
+    assert w = 3 report "TEST FAILED" severity FAILURE;
+    assert x = 2 report "TEST FAILED" severity FAILURE;
+    assert y = 1 report "TEST FAILED" severity FAILURE;
+    assert z = 0 report "TEST FAILED" severity FAILURE;
+    report "TEST PASSED" severity NOTE;
+    wait;
+  end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/aggregates/simple-integer-aggregate.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/aggregates/simple-integer-aggregate.vhdl
new file mode 100644
index 0000000..a98cbbc
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/aggregates/simple-integer-aggregate.vhdl
@@ -0,0 +1,17 @@
+entity test is
+end test;
+
+architecture only of test is
+  type integer_array is array (0 to 2) of integer;
+begin  -- only
+  p: process
+    variable x : integer_array;
+  begin  -- process p
+    x := (0, 1, 2);
+    assert x(0) = 0 report "TEST FAILED - 0" severity FAILURE;
+    assert x(1) = 1 report "TEST FAILED - 1" severity FAILURE;  
+    assert x(2) = 2 report "TEST FAILED - 2" severity FAILURE;
+    report "TEST PASSED" severity NOTE;
+    wait;
+  end process p;
+end only;