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="ConstrainedInt_Invalid_8"
js.execute.ignore=true
======
>>> main.whiley
type nat is (int x) where 1 <= x && x <= 8

function h() -> (int x)
ensures x <= 3:
    //
    return 0

function f() -> nat:
    return (nat) h()

public export method test():
       assume f() == 0
---
E702 main.whiley 9,11:19
E717 main.whiley 9,4:19