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

original.name="OpenRecord_Invalid_4"
======
>>> main.whiley
type OpenRecord1 is {int field, ...}

type OpenRecord2 is {int field, int x, ...}

function getField(OpenRecord1 r) -> OpenRecord2:
    return r

---
E400 main.whiley 6,11