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
21

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

type nat is (int x) where x >= 0
type pos is (int x) where x > 0

function f(pos x, int y) -> nat
requires y > 0:
    nat z
    if true:
        z = x / y
    else:
        z = y / x
    return z

public export method test() :
    assume f(10, 2) == 5


---