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
29
30

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


function indexOf(int[] items, int ch) -> (int r)
ensures r == |items| || items[r] == ch:
    //
    int i = 0
    //
    while i < |items| && items[i] != ch
    where 0 <= i && i <= |items|:
        i = i + 1
    //
    return i

public export method test():
    assume indexOf("hello world",'h') == 0
    assume indexOf("hello world",'e') == 1
    assume indexOf("hello world",'l') == 2
    assume indexOf("hello world",'o') == 4
    assume indexOf("hello world",' ') == 5
    assume indexOf("hello world",'w') == 6
    assume indexOf("hello world",'r') == 8
    assume indexOf("hello world",'d') == 10
    assume indexOf("hello world",'z') == 11



---