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
41
42
43
44
45
46

js.execute.ignore=true
Whiley2JavaScript.issue=40
=====
>>> main.whiley
type u8 is (int n) where 0 <= n && n <= 255
                                                  
u8[] xs = [0]

method m():
   xs = [256]

public export method test():
   m()
---
E702 main.whiley 6,8:12
E718 main.whiley 6,8:12
=====
>>> main.whiley 6:7
   xs = [123,256]
---
E702 main.whiley 6,8:16
E718 main.whiley 6,8:16
=====
>>> main.whiley 6:7
   xs = [256,123]
---
E702 main.whiley 6,8:16
E718 main.whiley 6,8:16
=====
>>> main.whiley 6:7
   skip
---
=====
>>> main.whiley 10:10
   assert xs[0] == 0
---
E725 main.whiley 10,13
=====
>>> main.whiley 10:11
   assert xs[0] >= 0 && xs[0] <= 254
---
E725 main.whiley 10,13
=====
>>> main.whiley 10:11
   assert |xs| > 0 ==> (xs[0] >= 0 && xs[0] <= 255)
---