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
23
24
25

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


type LinkedList is null | {LinkedList next, int data}

function sum(LinkedList l) -> int:
    int r = 0
    while !(l is null):
        r = r + l.data
        l = l.next
    return r

public export method test() :
    LinkedList list = null
    assume sum(list) == 0
    list = {next: list, data: 1}
    assume sum(list) == 1
    list = {next: list, data: 2324}
    assume sum(list) == 2325
    list = {next: list, data: 2}
    assume sum(list) == 2327

---