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

original.name="Assign_Valid_6"
======
>>> main.whiley
function update(int|null current, int mode) -> (int|null r):
    // Adapted from #950
    if current is int:
        current = null
    else:
        current = mode
    //
    return current

public export method test():
    assume update(null,123) == 123
    assume update(123,123) == null
---