diff options
Diffstat (limited to 'testsuite/runnable/inferred_variable.elna')
| -rw-r--r-- | testsuite/runnable/inferred_variable.elna | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/runnable/inferred_variable.elna b/testsuite/runnable/inferred_variable.elna new file mode 100644 index 0000000..e0822b8 --- /dev/null +++ b/testsuite/runnable/inferred_variable.elna @@ -0,0 +1,9 @@ +program() +var + x := 42 + c: const := 10 + +begin + x := x + 1; + assert(x = 43 & c = 10) +end. |