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="Template_Valid_50"
======
>>> main.whiley
type Box<T> is { T val }
type Option<T> is null | Box<T>

function empty<T>() -> (Option<T> a, Option<T> b):
    return null,null

public export method test():
    (Option<int> i, Option<int> j) = empty()
    //
    assume i == null
    assume j == null

---