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
20

original.name="ConstrainedInt_Valid_17"
======
>>> main.whiley


type anat is (int x) where x >= 0

type bnat is (int x) where (2 * x) >= x

function atob(anat x) -> bnat:
    return (bnat) x

function btoa(bnat x) -> anat:
    return (anat) x

public export method test() :
    assume atob(1) == 1
    assume btoa(1) == 1

---