progs/tests/for.sy


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

a := 0
for i := 0, i < 3, i = i + 1 {
    a = a + i
}
a <=> 3

a = 0
for i := 0, i <= 3, i = i + 1 {
    a = a + i
}
a <=> 6

a = 0
for i := 0, i < 3, i = i + 1 {
    for j := 0, j < 3, j = j + 1 {
        a = a + i * j
    }
}
a <=> 9