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

original.name="If_Invalid_5"
======
>>> main.whiley
function greater(int x,int y) -> (int z)
requires x != y
ensures z == x || z == y:
    if (x > y):
        return x
    else if (y > x):
        return y


---
E500 main.whiley 1,0:81