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

original.name="ArrayAccess_Invalid_5"
js.execute.ignore=true
======
>>> main.whiley

function f(int[] x, int i) -> (bool r)
requires |x| > 0:
    if (i < 0) || (i >= |x|):
        i = 1
    int y = x[i]
    int z = x[i]
    assert y == z
    return true

public export method test():
    assume f([1,2], 1)
    assume f([1], 0)
    assume f([0;0], 1)
    

---
E725 main.whiley 6,14
E700 main.whiley 14,11:21