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="Record_Valid_3"
======
>>> main.whiley
type Point is { int x, int y }

function fromXY(int x, int y) -> (Point[] rs)
ensures |rs| == 2 && rs[0] == rs[1]
ensures rs[0].x == x && rs[0].y == y:
    return [Point{x:x, y:y}, Point{x:x, y:y}]

public export method test():
    Point[] ps = fromXY(1,2)
    //
    assert ps[0] == ps[1]
    //
    assert ps[0].x == 1 && ps[0].y == 2
---