blob: 1510f40297f12b3d39f87eca111b7236872b71f9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
var
lhs_payload, rhs_payload: [3]Int := [2, 4, 6]
lhs, rhs: []Int
program()
begin
lhs := lhs_payload[1 to 3];
rhs := rhs_payload[1 to 3];
assert(lhs = rhs)
return 0u8
end.
|