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
======
>>> main.whiley
import std::integer

public export method test():   
   assume std::integer::MAX_VALUE == 99
>>> std/integer.whiley
package std

final int MAX_VALUE = 99
---