From 6c3f709174e8e4d5411f851cedb7d84c38d3b04a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 20 Dec 2013 04:48:54 +0100
Subject: Import vests testsuite

---
 ...nteger-variable-persist-across-activations.vhdl | 28 ++++++++++++++++++++++
 .../variable/simple-enumeration-assign.vhdl        | 16 +++++++++++++
 .../functional/variable/simple-integer-assign.vhdl | 16 +++++++++++++
 .../variable/simple-integer-initialize.vhdl        | 15 ++++++++++++
 4 files changed, 75 insertions(+)
 create mode 100644 testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/integer-variable-persist-across-activations.vhdl
 create mode 100644 testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-enumeration-assign.vhdl
 create mode 100644 testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-integer-assign.vhdl
 create mode 100644 testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-integer-initialize.vhdl

(limited to 'testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable')

diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/integer-variable-persist-across-activations.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/integer-variable-persist-across-activations.vhdl
new file mode 100644
index 000000000..4cccc0826
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/integer-variable-persist-across-activations.vhdl
@@ -0,0 +1,28 @@
+entity foo is
+end foo;
+
+use std.textio.all;
+
+architecture only of foo is
+  signal clock : bit;
+  signal last_x : integer := 0;
+begin  -- only
+  process (clock)
+    variable x : integer := 0;
+  begin  -- process
+    last_x <= x;
+    x := x + 1;
+    wait for 1 fs;
+    assert x > last_x report "TEST FAILED" severity FAILURE;
+    assert x > 0 report "TEST FAILED" severity FAILURE;
+    report "TEST PASSED" severity NOTE;
+  end process;
+
+  process
+  begin  -- process
+    clock <= '1' after 1 ns,
+             '0' after 2 ns,
+             '1' after 3 ns;
+    wait;
+  end process;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-enumeration-assign.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-enumeration-assign.vhdl
new file mode 100644
index 000000000..e324a398e
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-enumeration-assign.vhdl
@@ -0,0 +1,16 @@
+entity foo is
+end foo;
+
+use std.textio.all;
+
+architecture only of foo is
+begin  -- only
+  process
+    variable x : boolean := false;
+  begin  -- process
+    x := true;
+    assert x = true report "TEST FAILED - x does not equal true" severity failure;
+    assert x /= true report "TEST PASSED" severity note;
+    wait;
+  end process;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-integer-assign.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-integer-assign.vhdl
new file mode 100644
index 000000000..265cadbce
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-integer-assign.vhdl
@@ -0,0 +1,16 @@
+entity foo is
+end foo;
+
+use std.textio.all;
+
+architecture only of foo is
+begin  -- only
+  process
+    variable x : integer := 0;
+  begin  -- process
+    x := 1;
+    assert x = 1 report "TEST FAILED - x does not equal 1" severity failure;
+    assert x /= 1 report "TEST PASSED" severity note;
+    wait;
+  end process;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-integer-initialize.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-integer-initialize.vhdl
new file mode 100644
index 000000000..fc2ded3b5
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/simple-integer-initialize.vhdl
@@ -0,0 +1,15 @@
+entity foo is
+end foo;
+
+use std.textio.all;
+
+architecture only of foo is
+begin  -- only
+  process
+    variable x : integer := 0;
+  begin  -- process
+    assert x = 0 report "TEST FAILED - x does not equal 1" severity failure;
+    report "TEST PASSED" severity note;
+    wait;
+  end process;
+end only;
-- 
cgit v1.2.3