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="Property_Valid_2"
======
>>> main.whiley
property nat_a(int x) -> (bool r):
    return x >= 0

property nat_b(int x) -> (bool r):
    return x >= 0

function id(int x) -> (int y)
requires nat_a(x)
ensures nat_b(y):
    return x


public export method test():
    assume id(0) == 0
    assume id(1) == 1
    assume id(2) == 2


---