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

original.name="String_Valid_5"
======
>>> main.whiley
function indexOf(int c1, int[] str) -> int | null:
    int i = 0
    while i < |str| where i >= 0:
        if c1 == str[i]:
            return i
        i = i + 1
    return null

public export method test() :
    assume indexOf('H', "Hello World") == 0
    assume indexOf('e', "Hello World") == 1
    assume indexOf('l', "Hello World") == 2
    assume indexOf('o', "Hello World") == 4
    assume indexOf(' ', "Hello World") == 5
    assume indexOf('W', "Hello World") == 6
    assume indexOf('r', "Hello World") == 8
    assume indexOf('d', "Hello World") == 10
    assume indexOf('z', "Hello World") == null
    assume indexOf('1', "Hello World") == null

---