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

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


function f(int x, int y) -> int:
    bool a = x == y
    if a:
        return 1
    else:
        return x + y

function g(int x, int y) -> int:
    bool a = x >= y
    if !a:
        return x + y
    else:
        return 1

public export method test() :
    assume f(1, 1) == 1
    assume f(0, 0) == 1
    assume f(4, 345) == 349
    assume g(1, 1) == 1
    assume g(0, 0) == 1
    assume g(4, 345) == 349

---