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="RecordAssign_Valid_16"
======
>>> main.whiley
type Open is { int kind, ... }

type State is {
    int kind,
    int|null current
}

function update(Open s, int mode) -> (Open r):
    // Adapted from #950
    if s is State:
        s.current = mode
    //
    return s

public export method test():
    assume update({kind:2,current:null},123) == {kind:2, current: 123}
    assume update({kind:1,current:234},123) == {kind:1, current: 123}
    assume update({kind:3},123) == {kind:3}
---