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
18
19
20

original.name="UnionType_Invalid_8"
js.execute.ignore=true
======
>>> main.whiley
type urf1nat is (int n) where n > 0
type turf1nat is (int x) where x > 10
type wurf1nat is urf1nat | turf1nat

function f(wurf1nat x) -> int:
    return x

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

public export method test():
   assume g(1) == 1
   assume g(0) == 0
---
E702 main.whiley 9,13:23
E716 main.whiley 9,11:24