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_2"
js.execute.ignore=true
======
>>> main.whiley

type irf3nat is (int x) where x < 10

type pirf3nat is (irf3nat x) where x > 0

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

public export method test():
    assume f(11) == 11

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