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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

js.execute.ignore=true
Whiley2JavaScript.issue=40
=====
>>> main.whiley
type i8 is (int n) where -128 <= n && n <= 127
                                                  
i8 x = 0

method m():
   x = 128

public export method test():
   m()
---
E702 main.whiley 6,7:9
E718 main.whiley 6,7:9
=====
>>> main.whiley 6:7
   x = -129
---
E702 main.whiley 6,7:10
E718 main.whiley 6,7:10
=====
>>> main.whiley 6:7
   skip
---
=====
>>> main.whiley 10:10
   assert x == 0
---
E722 main.whiley 10,10:15
=====
>>> main.whiley 10:11
   assert x >= -128 && x <= 126
---
E722 main.whiley 10,10:30
=====
>>> main.whiley 10:11
   assert x >= -128 && x <= 127
---