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

original.name="Assign_Valid_1"
======
>>> main.whiley
function swap(int x, int y) -> (int u, int v)
ensures u == y && v == x:
    return y, x

function sort2(int x, int y) -> (int u, int v)
ensures u == y && v == x:
    (x, y) = swap(x, y)
    return x,y

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

---