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
original.name="Function_Invalid_5"
======
>>> main.whiley
function init() -> (int r):
    return 0

function init() -> (bool r):
    return false

method test():
    int[] xs = init()

---
E400 main.whiley 8,15:20