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
24
25
26
27
28
29
30
31
32
33
34
35

original.name="Complex_Valid_9"
======
>>> main.whiley
function min(int x, int y) -> (int m)
ensures m <= x && m <= y && (m == x || m == y):
    if x <= y:
        return x
    else:
        return y

function max(int x, int y) -> (int m)
ensures m >= x && m >= y && (m == x || m == y):
    if x >= y:
        return x
    else:
        return y

function sort2(int x, int y) -> (int u, int v)
ensures u <= v && ((u == x && v == y) || (u == y && v == x)):
    u = min(x, y)
    v = max(x, y)
    return u, v

public export method test():
    int a = 1
    int b = 2
    //
    (a,b) = sort2(a,b)
    assert (a == 1) && (b == 2)
    //
    (a,b) = sort2(b,a)
    assert (a == 1) && (b == 2)
    

---