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="Template_Valid_53"
======
>>> main.whiley
public type Box<T> is { T val }

function box<T>(T x) -> (Box<T> r)
ensures r.val == x:
    return {val:x}

// A curious little thing
function looper<T>(Box<T>|null x) -> (T r)
ensures (x is null) || (x.val == r):
    if x is null:
        return looper(x)
    else:
        return x.val

public export method test():
    int i = looper(box(1))
    //
    assert i == 1
---