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

original.name="Reference_Valid_18"
whiley.compile.ignore=true
WhileyCompiler.issue=986
======
>>> main.whiley
type Point is {int x, int y}

public export method test():
    &(Point|(int[])) c = new (Point|(int[])) [1,2,3]
    &(Point|(int[])) d = c
    assert (*c) == [1,2,3]
    assert (*d) == [1,2,3]
    *c = {x:1,y:2}
    assert (*c) == {x:1,y:2}
    assert (*d) == {x:1,y:2}
---