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

original.name="TypeEquals_Valid_51"
======
>>> main.whiley
function f(bool|int|null x) -> (int|bool r):
    //
    if x is int || x is bool:
        return x
    else:
        return 0

public export method test():
    assume f(0) == 0
    assume f(1) == 1
    assume f(2) == 2
    assume f(false) == false
    assume f(true) == true 
    assume f(null) == 0
---