diff options
Diffstat (limited to '')
-rw-r--r-- | test-files/mds-kbdc/compile-layout/invalid/nonsingleton_bounds | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test-files/mds-kbdc/compile-layout/invalid/nonsingleton_bounds b/test-files/mds-kbdc/compile-layout/invalid/nonsingleton_bounds new file mode 100644 index 0000000..541c5d0 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/nonsingleton_bounds @@ -0,0 +1,6 @@ +for "" to "hello" as \1 +end for +assumption + have_range "" "hello" +end assumption + |