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

original.name="UnionType_Valid_17"
======
>>> main.whiley
type IntList is int | int[]

function f(int y) -> int:
    return y

function g(int[] z) -> int[]:
    return z

public export method test() :
    IntList x = 123
    assume f((int) x) == 123
    x = [1, 2, 3]
    assume g((int[]) x) == [1,2,3]

---