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="BoolAssign_Valid_5"
======
>>> main.whiley


function f(int x, int y) -> (int r)
requires (x >= 0) && (y >= 0)
ensures r > 0:
    //
    bool a = true
    if x < y:
        a = false
    if !a:
        return x + y
    else:
        return 123

public export method test() :
    assume f(1,1) == 123
    assume f(2,1) == 123
    assume f(1,2) == 3

---