From 99ec00b0eb3d7a1250398821680709c4f44fa530 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Tue, 9 Dec 2014 14:38:18 +0100 Subject: mds-kbdc: bug fixes and test cases MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- test-files/mds-kbdc/compile-layout/invalid/nonsingleton_bounds | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 test-files/mds-kbdc/compile-layout/invalid/nonsingleton_bounds (limited to 'test-files/mds-kbdc/compile-layout/invalid/nonsingleton_bounds') 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 + -- cgit v1.2.3-70-g09d2