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

original.name="Final_Valid_3"
======
>>> main.whiley
// Test final static variable
final int CONSTANT = 0

function id(int x) -> (int r)
ensures r == x:
    //
    return x + CONSTANT

public export method test():
    assert id(-1) == -1
    assert id(0) == 0
    assert id(1) == 1
---