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

original.name="ArrayLength_Invalid_2"
======
>>> main.whiley

method test(int x) :
    int[] arr
    //
    if x > 0:
        arr = [1, 2, 4]
    else:
        arr = [1, 2, 3]
    assert arr[0] < |arr|
    assert arr[1] < |arr|
    assert arr[2] != |arr|

public export method test():
    test(1)

---
E722 main.whiley 11,11:25