1 files changed, 17 insertions, 0 deletions
diff --git a/test/regress/regress0/subranges.cvc b/test/regress/regress0/subranges.cvc
new file mode 100644
index 000000000..d8351c7f1
--- /dev/null
+++ b/test/regress/regress0/subranges.cvc
@@ -0,0 +1,17 @@
+% COMMAND-LINE: --parse-only
+% EXPECT: 
+% EXIT: 0
+
+A : [0..0];
+B : [ -5 .. 8];
+C : [1..3];
+D : [1..2];
+E : [-100 ..-1];
+F : [-100 ..0];
+G : [-100 ..1];
+H : [-1 ..1];
+I : [0..10];
+J : [-10..-9];
+J : [-10..-10];
+
+QUERY TRUE;