blob: bf5733d90acbc87fecdf45fe1113d6ae3c2d960c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
var
actual: [4]Word := [4]Word{}
input: [4]Word := [4]Word{ 2u, 4u, 6u, 8u }
i: Word := 1u
begin
for element of input do
actual[i] := element^ * 2u;
i := i + 1u
end;
assert(actual = [4]Word{ 4u, 8u, 12u, 16u })
end.
|