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
22
23
24

======
>>> main.whiley
import * from another
import max from other

public export method test():   
   assert max(1,2) == 2
   assert max(3,2) == 3
>>> other.whiley
final int max = 99
>>> another.whiley
public function max(int x, int y) -> (int r)
ensures (r >= x) && (r >= y)
ensures (r == x) || (r == y):
   if x > y:
      return x
   else:
      return y
---
E407 main.whiley 5,10:12
E407 main.whiley 5,10:12
=====
>>> main.whiley 2:3
---