whiley_test_file 0.6.2

An API for manipulating test files for the Whiley Programming Language.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

original.name="While_Valid_3"
======
>>> main.whiley


type nat is (int x) where x >= 0

function sum(nat[] ls) -> nat:
    int i = 0
    int sum = 0
    while i < |ls| where i >= 0 && sum >= 0:
        sum = sum + ls[i]
        i = i + 1
    return (nat) sum

public export method test() :
    assume sum([]) == 0
    assume sum([1, 2, 3]) == 6
    assume sum([12387, 98123, 12398, 12309, 0]) == 135217


---