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
23

original.name="While_Invalid_11"
js.execute.ignore=true
======
>>> main.whiley
function sumOver(int[] ls) -> int:
    int i = 0
    int sum = 0
    //
    while i < |ls| where (i >= 0) && (sum >= 0):
        sum = sum + ls[i]
        i = i + 1
    //
    return sum

public export method test():
   assume sumOver([]) == 0
   assume sumOver([0]) == 0
   assume sumOver([1,2]) == 3
   assume sumOver([1,2,3]) == 6
   assume sumOver([1,-2]) == 0
---
E704 main.whiley 5,25:46
E721 main.whiley 5,25:46