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="Template_Valid_63"
======
>>> main.whiley
type Box<T> is { T next }

function init<T>(T item) -> (Box<T> p)
ensures p.next == item:
    return {next: item}

function create<T>(Box<T> item) -> (Box<Box<T> > p)
ensures p.next == item:
    return {next: item}

public export method test():
    assert init(1) == {next: 1}
    assert create(init(2)) == {next: {next: 2}}
    assert create(create(init(3))) == {next: {next: {next: 3}}}

---