path: root/test/regress/regress0/subranges.cvc

% 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;