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

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


public function has(int c1, int[] str) -> bool:
    int i = 0
    while i < |str| where i >= 0:
        if c1 == str[i]:
            return true
        i = i + 1
    return false

public export method test() :
    int[] s = "Hello World"
    assume has('l', s) == true
    assume has('e', s) == true
    assume has('h', s) == false
    assume has('z', s) == false
    assume has('H', s) == true

---