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="Lambda_Valid_32"
======
>>> main.whiley
public type State<S> is { S field }

public type Action<S> is {
    method(&State<S>)->(Action<S>[]) apply
}

public function alert<S>() -> Action<S>:
    return Action{apply: &(&State<S> st -> apply_alert())}

method apply_alert<S>() -> Action<S>[]:
    return []

public export method test():
    &State<int> st = new {field: 0}
    Action<int> as = alert<int>()
    Action<int>[] result = as.apply(st)
    assume |result| == 0
    
---