summaryrefslogtreecommitdiff
path: root/test/regress/regress0/subranges.cvc
diff options
context:
space:
mode:
Diffstat (limited to 'test/regress/regress0/subranges.cvc')
-rw-r--r--test/regress/regress0/subranges.cvc7
1 files changed, 3 insertions, 4 deletions
diff --git a/test/regress/regress0/subranges.cvc b/test/regress/regress0/subranges.cvc
index d8351c7f1..5c1967344 100644
--- a/test/regress/regress0/subranges.cvc
+++ b/test/regress/regress0/subranges.cvc
@@ -1,6 +1,5 @@
-% COMMAND-LINE: --parse-only
-% EXPECT:
-% EXIT: 0
+% EXPECT: valid
+% EXIT: 20
A : [0..0];
B : [ -5 .. 8];
@@ -12,6 +11,6 @@ G : [-100 ..1];
H : [-1 ..1];
I : [0..10];
J : [-10..-9];
-J : [-10..-10];
+K : [-10..-10];
QUERY TRUE;
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback