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

original.name="ConstrainedList_Valid_18"
boogie.ignore=true
Whiley2Boogie.issue=26
======
>>> main.whiley


type nat is (int x) where x >= 0

function f(nat[] xs) -> (int[] rs)
requires |xs| > 0
ensures some { i in 0..|rs| | rs[i] >= 0 }:
    //
    return xs

public export method test() :
    int[] rs = f([1, 2, 3])
    assume rs == [1,2,3]

---