Import vests testsuite

24 files changed, 359 insertions, 0 deletions

diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-ascending-attribute.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-ascending-attribute.vhdl
new file mode 100644
index 000000000..d1df1c860
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-ascending-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'ascending) report "TEST FAILED ascending" severity failure;
+    report "TEST PASSED ascending";
+    wait;
+  end process p;
+end only;
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 000000000..18f508be5
--- /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;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-left-attribute.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-left-attribute.vhdl
new file mode 100644
index 000000000..9c7f3b0ea
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-left-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'left = 0 report "TEST FAILED left = 0" severity failure;
+    report "TEST PASSED left = 0";
+    wait;
+  end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-length-attribute.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-length-attribute.vhdl
new file mode 100644
index 000000000..add2c6c88
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-length-attribute.vhdl
@@ -0,0 +1,15 @@
+entity foo is
+end foo;
+
+use std.textio.all;
+
+architecture only of foo is
+begin  -- only
+  process
+    variable x : string(1 to 4) := "1234";
+  begin  -- process
+    assert x'length = 4 report "TEST FAILED - x'length does not equal 4" severity failure;
+    assert x'length /= 4 report "TEST PASSED" severity note;
+    wait;
+  end process;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-low-attribute.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-low-attribute.vhdl
new file mode 100644
index 000000000..bbec01327
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-low-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'low = 0 report "TEST FAILED low = 0" severity failure;
+    report "TEST PASSED low = 0";
+    wait;
+  end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-right-attribute.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-right-attribute.vhdl
new file mode 100644
index 000000000..d73f0829a
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/array/simple-right-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'right = 3 report "TEST FAILED right = 3" severity failure;
+    report "TEST PASSED right = 3";
+    wait;
+  end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-event-attribute.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-event-attribute.vhdl
new file mode 100644
index 000000000..e3c5d30cb
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-event-attribute.vhdl
@@ -0,0 +1,22 @@
+entity test is
+end test;
+
+architecture only of test is
+  signal s : bit;
+begin
+  s  <= '1' after 10 ns, '0' after 20 ns, '1' after 30 ns, '0' after 40 ns;
+  p: process
+  begin
+    wait for 1 ns;
+    assert not(s'event) report "TEST FAILED - 'event active" severity failure;
+   wait for 25 ns;
+ --   s <= '1';
+--    wait for 0 ns;
+    assert s = '0' report "TEST FAILED - s has not changed  to 0 yet!" severity failure;
+     wait for 10 ns;
+    assert s = '1' report "TEST FAILED - s has not changed  to 1 yet!" severity failure;
+    assert (s'event) report "TEST FAILED - 'event not tripped" severity failure;
+    report "TEST PASSED";
+    wait;
+  end process;
+end architecture only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-last-value.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-last-value.vhdl
new file mode 100644
index 000000000..a2e0133b4
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-last-value.vhdl
@@ -0,0 +1,15 @@
+entity test is
+end test;
+
+architecture only of test is
+  signal s : bit := '0';
+begin
+  p : process
+  begin
+    s <= '1';
+    wait for 0 fs;
+    assert s'last_value = '0' report "TEST FAILED" severity failure;
+    report "TEST PASSED";
+    wait;
+  end process;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-last_event-attribute.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-last_event-attribute.vhdl
new file mode 100644
index 000000000..dfe1f2224
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-last_event-attribute.vhdl
@@ -0,0 +1,21 @@
+entity test is
+end test;
+
+architecture only of test is
+  signal s : bit;
+begin
+  s  <= '1' after 5 ns, '0' after 20 ns, '1' after 30 ns, '0' after 40 ns;
+  p: process
+   variable v: time;
+  begin
+   wait for 15 ns;
+    v:=s'last_event;
+    assert v = 10 ns report "TEST FAILED - s previous value incorrect!" severity failure;
+    report "TEST PASSED elapsed time is 10 ns" ;
+   wait for 14 ns;
+    v:=s'last_event;
+    assert v = 9 ns report "TEST FAILED - s previous value incorrect!" severity failure;
+    report "TEST PASSED elapsed time is 9 ns" ;
+    wait;
+  end process;
+end architecture only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-last_value-attribute.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-last_value-attribute.vhdl
new file mode 100644
index 000000000..eafaf406b
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/signal/simple-last_value-attribute.vhdl
@@ -0,0 +1,18 @@
+entity test is
+end test;
+
+architecture only of test is
+  signal s : bit;
+begin
+  s  <= '1' after 10 ns, '0' after 20 ns, '1' after 30 ns, '0' after 40 ns;
+  p: process
+   variable v: bit;
+  begin
+    wait for 1 ns;
+   wait for 25 ns;
+    v:=s'last_value;
+    assert v = '1' report "TEST FAILED - s previous value incorrect!" severity failure;
+    report "TEST PASSED v = 1" ;
+    wait;
+  end process;
+end architecture only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/base/simple-integer-test.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/base/simple-integer-test.vhdl
new file mode 100644
index 000000000..a47da0b32
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/base/simple-integer-test.vhdl
@@ -0,0 +1,13 @@
+entity test is
+end test;
+
+architecture only of test is
+  subtype small is integer range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+ assert small'base'left = integer'left 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/attributes/type/left/simple-integer-test.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/left/simple-integer-test.vhdl
new file mode 100644
index 000000000..34b52d6c6
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/left/simple-integer-test.vhdl
@@ -0,0 +1,13 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert small'left = 1 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/attributes/type/range/simple-range-attribute.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/range/simple-range-attribute.vhdl
new file mode 100644
index 000000000..b3692a5da
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/range/simple-range-attribute.vhdl
@@ -0,0 +1,14 @@
+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'range'left = 0 report "TEST FAILED" severity failure;
+    assert my_type'range'right = 3 report "TEST FAILED" severity failure;
+    report "TEST PASSED";
+    wait;
+  end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/right/simple-integer-test.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/right/simple-integer-test.vhdl
new file mode 100644
index 000000000..4ebe8a171
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/right/simple-integer-test.vhdl
@@ -0,0 +1,13 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert small'right = 3 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/attributes/type/simple-integer-test-ascending.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-ascending.vhdl
new file mode 100644
index 000000000..d5dc98297
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-ascending.vhdl
@@ -0,0 +1,13 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert (small'ascending)  report "TEST FAILED ascending" severity FAILURE;
+  report "TEST PASSED ascending" severity NOTE;
+  wait;
+end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-high.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-high.vhdl
new file mode 100644
index 000000000..86f478a99
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-high.vhdl
@@ -0,0 +1,13 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert small'high = 3 report "TEST FAILED T high" severity FAILURE;
+  report "TEST PASSED T high" severity NOTE;
+  wait;
+end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-image.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-image.vhdl
new file mode 100644
index 000000000..0b62a3e11
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-image.vhdl
@@ -0,0 +1,17 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert small'image(1) = "1" report "TEST FAILED image 1" severity FAILURE;
+  report "TEST PASSED image 1" severity NOTE;
+  assert small'image(2) = "2" report "TEST FAILED image 2" severity FAILURE;
+  report "TEST PASSED image 2" severity NOTE;
+  assert small'image(3) = "3" report "TEST FAILED image 3" severity FAILURE;
+  report "TEST PASSED image 3" severity NOTE;
+  wait;
+end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-leftof.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-leftof.vhdl
new file mode 100644
index 000000000..b82884a13
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-leftof.vhdl
@@ -0,0 +1,15 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert small'leftof(2) = 1  report "TEST FAILED. leftof 2 = 1" severity FAILURE;
+  report "TEST PASSED leftof 2 = 1" severity NOTE;
+  assert small'leftof(3) = 2  report "TEST FAILED. leftof 3 = 2" severity FAILURE;
+  report "TEST PASSED leftof 3 = 2" severity NOTE;
+  wait;
+end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-low.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-low.vhdl
new file mode 100644
index 000000000..849996334
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-low.vhdl
@@ -0,0 +1,13 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert small'low = 1 report "TEST FAILED T low" severity FAILURE;
+  report "TEST PASSED T low" severity NOTE;
+  wait;
+end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-pred.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-pred.vhdl
new file mode 100644
index 000000000..03aebd7c3
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-pred.vhdl
@@ -0,0 +1,15 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert small'pred(2) = 1  report "TEST FAILED. pred 2 = 1" severity FAILURE;
+  report "TEST PASSED pred 2 = 1" severity NOTE;
+  assert small'pred(3) = 2  report "TEST FAILED. pred 3 = 2" severity FAILURE;
+  report "TEST PASSED pred 3 = 2" severity NOTE;
+  wait;
+end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-rightof.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-rightof.vhdl
new file mode 100644
index 000000000..de11c66c1
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-rightof.vhdl
@@ -0,0 +1,15 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert small'rightof(1) = 2  report "TEST FAILED. rightof 1 = 2" severity FAILURE;
+  report "TEST PASSED rightof 1 = 2" severity NOTE;
+  assert small'rightof(2) = 3  report "TEST FAILED. rightof 2 = 3" severity FAILURE;
+  report "TEST PASSED rightof 2 = 3" severity NOTE;
+  wait;
+end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-succ.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-succ.vhdl
new file mode 100644
index 000000000..3f27b004d
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-succ.vhdl
@@ -0,0 +1,15 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert small'succ(1) = 2  report "TEST FAILED. succ 1 = 2" severity FAILURE;
+  report "TEST PASSED succ 1 = 2" severity NOTE;
+  assert small'succ(2) = 3  report "TEST FAILED. succ 2 = 3" severity FAILURE;
+  report "TEST PASSED succ 2 = 3" severity NOTE;
+  wait;
+end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-val.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-val.vhdl
new file mode 100644
index 000000000..db5064bbc
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-val.vhdl
@@ -0,0 +1,17 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert small'val(1) = 1 report "TEST FAILED val pos 1" severity FAILURE;
+  report "TEST PASSED val pos 1" severity NOTE;
+  assert small'val(2) = 2 report "TEST FAILED val pos 2" severity FAILURE;
+  report "TEST PASSED val pos 2" severity NOTE;
+  assert small'val(3) = 3 report "TEST FAILED val pos 3" severity FAILURE;
+  report "TEST PASSED val pos 3" severity NOTE;
+  wait;
+end process p;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-value.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-value.vhdl
new file mode 100644
index 000000000..97b6cd247
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/attributes/type/simple-integer-test-value.vhdl
@@ -0,0 +1,17 @@
+entity test is
+end test;
+
+architecture only of test is
+  type small is range 1 to 3;
+begin  -- only
+p: process
+begin  -- process p
+  assert small'value("1") = 1 report "TEST FAILED value 1" severity FAILURE;
+  report "TEST PASSED value 1" severity NOTE;
+  assert small'value("2") = 2 report "TEST FAILED value 2" severity FAILURE;
+  report "TEST PASSED value 2" severity NOTE;
+  assert small'value("3") = 3 report "TEST FAILED value 3" severity FAILURE;
+  report "TEST PASSED value 3" severity NOTE;
+  wait;
+end process p;
+end only;