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
17

original.name="Unsafe_Invalid_3"
whiley.compile.strict=true
======
>>> main.whiley
unsafe function f(int x) -> (int y):
    assert x >= 0
    return x

function g(int x) -> (int y):
    return f(x)

public export method test():
    int x = g(1)
    assert x == 1

---
E613 main.whiley 6,11:14