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

original.name="RecursiveType_Invalid_2"
js.execute.ignore=true
======
>>> main.whiley
type nat is (int n) where n >= 0
type expr is nat | {int op, expr left, expr right}

function f(expr e) -> expr:
    return e

public export method test():
    assume f(0) == 0
    assume f(1) == 1
    expr e1 = {op:0, left: 0, right: 1}
    assume f(e1) == e1
    assume f(-1) == -1
---
E702 main.whiley 12,13:14
E716 main.whiley 12,11:15