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

original.name="Lambda_Valid_16"
======
>>> main.whiley
type fun_t is function()->int

function select(int[] items, int i) -> int:
    if i >= 0 && i < |items|:
        return items[i]
    else:
        return 0

public export method test():
    int[] xs = [11,22,33]
    fun_t[] fs = [&(->255); 3]
    //
    int i = 0
    while i < |xs| where i >= 0 && |xs| == |fs|:
        fs[i] = &( -> select(xs,i))
        i = i + 1
    //
    fun_t f0 = fs[0]
    assume f0() == 11
    fun_t f1 = fs[1]
    assume f1() == 22
    fun_t f2 = fs[2]
    assume f2() == 33    
---