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

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


function f1(int x) -> int:
    return x + 1

function f2(int x) -> int:
    return x * 2

type func_t is function(int) -> (int)

function g(func_t func) -> int:
    return func(1234)

public export method test() :
    assume g(&f1) == 1235
    assume g(&f2) == 2468

---