aboutsummaryrefslogtreecommitdiff
path: root/testsuite/runnable/define_multiple_local_variables.elna
blob: 8e44da494e37cda72110b4e4f89e9dc75663c58f (plain)
1
2
3
4
5
6
7
8
proc f() -> Bool
var
  a, b: Int := 5
return a = 5 & b = 5

begin
  assert(f())
end.