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_7"
js.execute.ignore=true
======
>>> main.whiley
type c4nat is (int x) where x < 10

function h() -> (int r)
ensures r <= 5:
    //
    return 5

function f() -> c4nat:
    return h() * 2

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