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

original.name="ConstrainedInt_Invalid_1"
js.execute.ignore=true
======
>>> main.whiley

type c1nat is (int x) where x > 0

type c1pnat is (c1nat x) where x > 1

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

public export method test():
    assume f(-1) == -1

---
E702 main.whiley 7,11:20
E717 main.whiley 7,4:20