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
21
22
23

original.name="ConstrainedInt_Valid_15"
======
>>> main.whiley


type pos is (int x) where x > 0

type neg is (int x) where x < 0

type posneg is pos | neg

function isPosNeg(int v) -> bool:
    if v is posneg:
        return true
    else:
        return false

public export method test() :
    assume isPosNeg(1)
    assume !isPosNeg(0)
    assume isPosNeg(-1)

---