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

original.name="While_Invalid_6"
======
>>> main.whiley
function extract(int[] ls) -> int:
    int i = 0
    int r = [1]
    //
    while i < |ls| where |r| < 2:
        r = [0;0]
    //
    return r

---
E400 main.whiley 3,12:14
E400 main.whiley 5,26
E400 main.whiley 6,12:16