diff options
Diffstat (limited to 'test-files/mds-kbdc')
4 files changed, 91 insertions, 0 deletions
diff --git a/test-files/mds-kbdc/compile-layout/invalid/invalid_call_to_builtin_function b/test-files/mds-kbdc/compile-layout/invalid/invalid_call_to_builtin_function new file mode 100644 index 0000000..a3079e8 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/invalid_call_to_builtin_function @@ -0,0 +1,3 @@ +"" : "\add("" 1)" +"" : "\sub(1 "")" + diff --git a/test-files/mds-kbdc/compile-layout/invalid/invalid_calls_to_set_3_and_get_2 b/test-files/mds-kbdc/compile-layout/invalid/invalid_calls_to_set_3_and_get_2 new file mode 100644 index 0000000..c5cedc6 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/invalid/invalid_calls_to_set_3_and_get_2 @@ -0,0 +1,24 @@ +let \2 : "" +let \3 : {} +let \4 : { "0" } +"" : "\set(0 0 0)" +"" : "\get(0 0)" +"" : "\set(1 0 0)" +"" : "\get(1 0)" +"" : "\set(2 0 0)" +"" : "\get(2 0)" +"" : "\set(3 0 0)" +"" : "\get(3 0)" +"" : "\set(4 1 0)" +"" : "\get(4 1)" +"" : "\set("" 0 0)" +"" : "\get("" 0)" +"" : "\set("a" 0 0)" +"" : "\get("a" 0)" +"" : "\set("aa" 0 0)" +"" : "\get("aa" 0)" +"" : "\set(1 "" 0)" +"" : "\get(1 "")" +"" : "\set(1 "aa" 0)" +"" : "\get(1 "aa")" + diff --git a/test-files/mds-kbdc/compile-layout/valid/builtin_functions b/test-files/mds-kbdc/compile-layout/valid/builtin_functions new file mode 100644 index 0000000..c818472 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/valid/builtin_functions @@ -0,0 +1,62 @@ +if \not(\equals(\add(1 2) 3)) + "" : 0 +end if +if \not(\equals(\sub(5 3) 2)) + "" : 0 +end if +if \not(\equals(\mul(2 3) 6)) + "" : 0 +end if +if \not(\equals(\div(8 2) 4)) + "" : 0 +end if +if \not(\equals(\mod(14 4) 2)) + "" : 0 +end if +if \not(\equals(\rsh(1024 2) 256)) + "" : 0 +end if +if \not(\equals(\lsh(1 10) 1024)) + "" : 0 +end if +if \not(\equals(\or(7 9) 15)) + "" : 0 +end if +if \not(\equals(\and(15 5) 5)) + "" : 0 +end if +if \not(\equals(\xor(15 21) 26)) + "" : 0 +end if +if \not(1) + "" : 0 +end if +if \not(0) +else + "" : 0 +end if +if \not(\equals(0 0)) + "" : 0 +end if +if \equals(0 1) + "" : 0 +end if +if \not(\greater(2 1)) + "" : 0 +end if +if \greater(2 2) + "" : 0 +end if +if \greater(2 3) + "" : 0 +end if +if \not(\less(1 2)) + "" : 0 +end if +if \less(2 2) + "" : 0 +end if +if \less(3 2) + "" : 0 +end if + diff --git a/test-files/mds-kbdc/compile-layout/valid/call_to_builtin_function_with_empty_arguments b/test-files/mds-kbdc/compile-layout/valid/call_to_builtin_function_with_empty_arguments new file mode 100644 index 0000000..783ec25 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/valid/call_to_builtin_function_with_empty_arguments @@ -0,0 +1,2 @@ +"\add("" "")" : "\not("")" + |