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

original.name="Ensures_Invalid_1"
js.execute.ignore=true
======
>>> main.whiley

function f() -> (int r)
ensures (2 * r) == 1:
    //
    return 1

public export method test():
       assume f() == 1
---
E701 main.whiley 8,14:16
E717 main.whiley 5,4:11