diff options
Diffstat (limited to 'testsuite/runnable/case_int.elna')
| -rw-r--r-- | testsuite/runnable/case_int.elna | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/runnable/case_int.elna b/testsuite/runnable/case_int.elna new file mode 100644 index 0000000..3b770a7 --- /dev/null +++ b/testsuite/runnable/case_int.elna @@ -0,0 +1,12 @@ +var + x: Int := 2 + +begin + case x of + 1: assert(false) + | 2: assert(true) + | 3: assert(false) + else + assert(false) + end +end. |