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="Lambda_Valid_12"
======
>>> main.whiley
type mymethod is method()->(int)

public export method test():
    &int x = new 3
    mymethod m = &(->(*x))
    int y = m()
    assume y == 3

---