Skip to content
Snippets Groups Projects
sumArray 259 B
Newer Older
Bart Wijgers's avatar
Bart Wijgers committed
sumArray(arr: []int, first: int, last: int | sum: int) {
    assume (first >= 0 && last < #arr && first < last);
    sum := 0;
    current := first;

    while (current <= last) do {
        sum := sum + arr[current];
        current := current + 1
    }

}