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="Reference_Valid_40"
======
>>> main.whiley
type map is int[]

method sum(&map m) -> int:
    int r = 0
    //
    for i in 0..|*m|:
        r = r + (*m)[i]
    //
    return r

public export method test():
    int s1 = sum(new [])
    int s2 = sum(new [1])
    int s3 = sum(new [2,3])
    //
    assume s1 == 0
    assume s2 == 1
    assume s3 == 5
    
---