From 6c3f709174e8e4d5411f851cedb7d84c38d3b04a Mon Sep 17 00:00:00 2001
From: Tristan Gingold
Date: Fri, 20 Dec 2013 04:48:54 +0100
Subject: Import vests testsuite

---
 ...nteger-variable-persist-across-activations.vhdl | 28 ++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/integer-variable-persist-across-activations.vhdl

(limited to 'testsuite/vests/vhdl-93/clifton-labs/compliant/functional/variable/integer-variable-persist-across-activations.vhdl')

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 0000000..4cccc08
--- /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;
-- 
cgit