blob: a9c44ed2d4f21948d52567bbcb61ef5c12e29211 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
var
counter: Int := 0
program()
begin
block outer
while true do
defer
counter := counter + 10
end;
counter := counter + 1;
break outer
end
end;
assert(counter = 11)
return 0u8
end.
|