3 files changed, 45 insertions, 0 deletions
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/subtypes/modified-character-subtype.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/subtypes/modified-character-subtype.vhdl
new file mode 100644
index 000000000..c64b80b12
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/subtypes/modified-character-subtype.vhdl
@@ -0,0 +1,15 @@
+entity test is
+end test;
+
+architecture only of test is
+begin  -- only
+  doit: process
+    subtype sub_character is character range 'A' to 'Z';
+    constant x : sub_character;
+  begin
+    assert x = sub_character'left report "TEST FAILED" severity FAILURE;
+    report "TEST PASSED";
+    wait;
+  end process;   
+  
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/subtypes/modified-integer-subtype.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/subtypes/modified-integer-subtype.vhdl
new file mode 100644
index 000000000..4cb4e7c04
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/subtypes/modified-integer-subtype.vhdl
@@ -0,0 +1,15 @@
+entity test is
+end test;
+
+architecture only of test is
+begin  -- only
+  doit: process
+    subtype sub_integer is integer range 42 to 69;
+    constant x : sub_integer;
+  begin
+    assert x = sub_integer'left report "TEST FAILED" severity FAILURE;
+    report "TEST PASSED";
+    wait;
+  end process;   
+  
+end only;
diff --git a/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/subtypes/simple-enumeration-subtype.vhdl b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/subtypes/simple-enumeration-subtype.vhdl
new file mode 100644
index 000000000..746665879
--- /dev/null
+++ b/testsuite/vests/vhdl-93/clifton-labs/compliant/functional/subtypes/simple-enumeration-subtype.vhdl
@@ -0,0 +1,15 @@
+entity test is
+end test;
+
+architecture only of test is
+begin  -- only
+  doit: process
+    subtype sub_boolean is boolean range false to true;
+    constant x : sub_boolean;
+  begin
+    assert x = sub_boolean'left report "TEST FAILED" severity FAILURE;
+    report "TEST PASSED";
+    wait;
+  end process;   
+  
+end only;