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

original.name="IntAdd_Valid_1"
======
>>> main.whiley
function swap2(int x, int y) -> (int r, int s)
    ensures true:
    assume x == 10
    assume y == 11
    x = (2 * x) + y
    y = x - y
    x = x - y
    assert x == 11 && y == 2 * 10
    return x, y

public export method test():
    //
    (int a, int b) = swap2(10,11)
    //
    assume a == 11 && b == 2*10
    


---