diff options
Diffstat (limited to 'testsuite/runnable/aggregate_argument.elna')
| -rw-r--r-- | testsuite/runnable/aggregate_argument.elna | 17 |
1 files changed, 4 insertions, 13 deletions
diff --git a/testsuite/runnable/aggregate_argument.elna b/testsuite/runnable/aggregate_argument.elna index b92e460..89059db 100644 --- a/testsuite/runnable/aggregate_argument.elna +++ b/testsuite/runnable/aggregate_argument.elna @@ -4,18 +4,9 @@ type b: Int end -proc f(r: R): Int -var - result: Int -begin - if r.a = 1 & r.b = 2 then - result := 0 - else - result := 1 - end; - return result -end - -return f(R(1, 2)) +proc f(r: R): Bool +return r.a = 1 & r.b = 2 +begin + assert(f(R(1, 2))) end. |
