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

js.execute.ignore=true
=====
>>> main.whiley
method f(int[] ls, int x) -> bool
requires x >= 0
requires |ls| >= 1:
    return all { i in 0..x, j in 1..x | i >= |ls| || ls[i] >= 0 }

public export method test():
   bool r1 = f([1,2],0)
   assume r1
---
=====
>>> main.whiley 2:3
requires x > 0
---
E700 main.whiley 7,13:22
E716 main.whiley 7,13:22
=====
>>> main.whiley 7:8
   bool r1 = f([1,2],1)
---