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="Lambda_Valid_22"
======
>>> main.whiley
function to_int(int|bool x) -> (int r):
    if x is int:
        return x
    else if x:
        return 1
    else:
        return 0

public export method test():
    function(int)->(int) fn = &to_int
    assume fn(1) == 1

---