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
23

original.name="Function_Valid_13"
======
>>> main.whiley


type Point is ({int y, int x} p) where p.x != p.y

function f(int x) -> int:
    return x

function Point(int i, int j) -> Point:
    if f(i) != f(j):
        return {y: j, x: i}
    else:
        return {y: -1, x: 1}

public export method test() :
    Point rs = Point(1, 1)
    assume rs == {x:1,y:-1}
    rs = Point(1, 2)
    assume rs == {x:1,y:2}

---