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

original.name="Function_Valid_11"
======
>>> main.whiley
type fr8nat is (int x) where x > 0
type fr8neg is (int x) where x < 0

function f(fr8nat y) -> bool:
    return true

function f(fr8neg x) -> bool:
    return false

public export method test() :
    fr8nat x = 1
    assume f(x) == true
    fr8neg y = -1
    assume f(y) == false

---