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="StaticVar_Valid_9"
======
>>> main.whiley
type State is { int mode }
type Transformer is function(State)->(State)

function push(State s, int mode) -> (State r):
    s.mode = mode
    return s

public final Transformer ADDER = &(State s -> push(s,1))

public export method test():
    State s = {mode: 0}
    Transformer fn = ADDER
    s = fn(s)
    assume s.mode == 1

---