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

original.name="Assert_Valid_7"
======
>>> main.whiley
function f(int[] xs) -> (int r)
requires xs[0] == 0:
    //
    int n = 0
    do:
        assert (n == 0) || (|xs| > 0)
        xs[0] = 0
        n = n + 1
    while n < 10 where n >= 0 && xs[0] == 0        
    //
    return n
        

public export method test():
    int[] xs = [0,0,0]
    assume f(xs) == 10 

---