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

original.name="Tuple_Valid_6"
======
>>> main.whiley
type handler_t<T> is function(T)->(T,T)

function apply<T>(T k, handler_t<T> h) -> (T a, T b):
    return h(k)

function dup(int x) -> (int a, int b)
ensures (a == x) && (a == b):
    return (x,x)

public export method test():
    assume apply(1,&dup) == (1,1)
    assume apply(2,&dup) == (2,2)    

---