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="Array_Invalid_21"
======
>>> main.whiley
function f(int[] xs) -> (int r)
requires |xs| > 0
ensures r < |xs|:
    //
    return 0

function g(int[] xs) -> (int r)
requires |xs| > 0:
    //
    return xs[f(xs)]

public export method test():
    //
    assume g([0]) == 0
    //
    assume g([1,0]) == 1

---
E724 main.whiley 10,14:18