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

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

public export method test():
   assume extract([]) == []
   assume extract([0]) == [0]  
---
E708 main.whiley 6,10
E724 main.whiley 6,10