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_13"
js.execute.block=true
======
>>> main.whiley
type nat is (int n) where n >= 0

function extract(int i, int[] ls) -> int
requires i >= 0:
    //
    int r = 0
    //
    while i < |ls|:
        r = r + ls[i]
        i = i - 1
    //
    return r

public export method test():
   assume extract(0,[]) == 0
   assume extract(0,[1]) == 0
---
E707 main.whiley 9,19
E724 main.whiley 9,19