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

original.name="RecordSubtype_Valid_1"
======
>>> main.whiley
type R1 is {null | int x}
type R2 is {int x}
type R3 is {null x}
type R4 is R2 | R3

function f(R1 x) -> R4:
    return x

public export method test() :
    R4 z1 = f({x: 1})
    R4 z2 = f({x: null})
    assume z1 == {x: 1}
    assume z2 == {x: null}
---
E400 main.whiley 7,11