aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/compile-layout/invalid/nonsingleton_bounds
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--test-files/mds-kbdc/compile-layout/invalid/nonsingleton_bounds6
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
+