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_18"
======
>>> main.whiley
type nat is (int x) where x >= 0

function match(byte[] data, nat offset, nat end) -> int:
    nat pos = end
    int len = 0
    while offset < pos && pos < |data| && data[offset] == data[pos] 
        where (pos >= 0) && (offset >= 0):
        //
        offset = offset + 1
        pos = pos + 1
        len = len + 1
    //
    return len

public export method test() :
    byte[] xs = [
        0b0000_0000,
        0b0000_0101,
        0b0000_0000,
        0b0000_0110,
        0b0000_0000,
        0b0000_0101
    ]
    int x = match(xs, 0, |xs| - 2)
    assume x == 2

---