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="Old_Valid_12"
js.compile.ignore=true
boogie.ignore=true
Whiley2Boogie.issue=127
======
>>> main.whiley
method count(&int p, int n)
requires n > 0
ensures old(*p) < *p:
    //
    for i in 0..n:
        *p = *p + 1

public export method test():
    &int q = new 1
    //
    count(q,1)
    assert *q > 1
    //
    count(q,1)
    assert *q > 2
---