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

function g(int y) -> int
requires y > 0:
    return 10 / y

function f(int y)  -> int
requires y >= 0:
    return g(y)

public export method test():
   assume f(1) == 10
   assume f(2) == 5
   assume f(0) == 0
---
E700 main.whiley 8,11:14
E716 main.whiley 8,11:14