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

original.name="ProcessAccess_Valid_1"
======
>>> main.whiley
type etype is {int rest, int mode}
type Ptype is &etype

method get(Ptype _this) -> int:
    _this->mode = 1
    _this->rest = 123
    return _this->mode

public export method test() :
    Ptype p = new {rest: 2, mode: 2}
    assume (*p) == {rest: 2, mode: 2}
    int x = get(p)
    assume (*p) == {rest: 123, mode: 1}
    assume x == 1


---