diff options
Diffstat (limited to 'test/regress/regress0/subranges.cvc')
-rw-r--r-- | test/regress/regress0/subranges.cvc | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/test/regress/regress0/subranges.cvc b/test/regress/regress0/subranges.cvc deleted file mode 100644 index bf6e46938..000000000 --- a/test/regress/regress0/subranges.cvc +++ /dev/null @@ -1,15 +0,0 @@ -% EXPECT: valid - -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]; -K : [-10..-10]; - -QUERY TRUE; |