Import vests testsuite

6 files changed, 101 insertions, 0 deletions

diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/addition/add-two-integers.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/addition/add-two-integers.vhdl
new file mode 100644
index 000000000..0d3c3a44c
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/addition/add-two-integers.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 + 2;
+    assert x = 3 report "TEST FAILED - x does not equal 1" severity failure;
+    assert x /= 3 report "TEST PASSED" severity NOTE;
+    wait;
+  end process;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/addition/variable-plus-int.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/addition/variable-plus-int.vhdl
new file mode 100644
index 000000000..18943e78c
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/addition/variable-plus-int.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 := 1;
+  begin  -- process
+    x := x + 2;
+    assert x = 3 report "TEST FAILED - x does not equal 1" severity failure;
+    assert x /= 3 report "TEST PASSED" severity NOTE;
+    wait;
+  end process;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/addition/variable-plus-variable.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/addition/variable-plus-variable.vhdl
new file mode 100644
index 000000000..cf19b322e
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/addition/variable-plus-variable.vhdl
@@ -0,0 +1,17 @@
+entity foo is
+end foo;
+
+use std.textio.all;
+
+architecture only of foo is
+begin  -- only
+  process
+    variable x : integer := 1;
+    variable y : integer := 2;
+  begin  -- process
+    x := x + y;
+    assert x = 3 report "TEST FAILED - x does not equal 1" severity failure;
+    assert x /= 3 report "TEST PASSED" severity NOTE;
+    wait;
+  end process;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/concatenation/concatenate-string-character.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/concatenation/concatenate-string-character.vhdl
new file mode 100644
index 000000000..c626d1ec7
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/concatenation/concatenate-string-character.vhdl
@@ -0,0 +1,18 @@
+entity test is
+end test;
+
+architecture only of test is
+
+begin  -- only
+
+  doit: process
+    variable concatted : string(1 to 4);
+  begin  -- process doit
+    concatted := "foo" & 'l';
+
+    assert concatted = "fool" report "TEST FAILED - concatted was not 'fool'" severity failure;
+    assert not(concatted = "fool") report "TEST PASSED" severity note;
+    
+    wait;
+  end process doit;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/concatenation/concatenate-two-strings.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/concatenation/concatenate-two-strings.vhdl
new file mode 100644
index 000000000..aab8f63a3
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/concatenation/concatenate-two-strings.vhdl
@@ -0,0 +1,18 @@
+entity test is
+end test;
+
+architecture only of test is
+
+begin  -- only
+
+  doit: process
+    variable concatted : string(1 to 6);
+  begin  -- process doit
+    concatted := "foo" & "bar";
+
+    assert concatted = "foobar" report "TEST FAILED - concatted was not 'foobar'" severity failure;
+    assert not(concatted = "foobar") report "TEST PASSED" severity note;
+    
+    wait;
+  end process doit;
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/division/integer-division.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/division/integer-division.vhdl
new file mode 100644
index 000000000..3124df89b
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/operators/division/integer-division.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 := 4/2;
+    assert x = 2 report "TEST FAILED - x does not equal 2" severity failure;
+    assert x /= 2 report "TEST PASSED" severity note;
+    wait;
+  end process;
+end only;