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

=====
>>> main.whiley
import string from js::core

type Box<T> is {
    T content
}

public export method test():
    Box<string> box = { content: "hello" }
    assert box.content == (string) "hello"
>>> js/core.whiley
package js

public type string is int[] where true
---