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

original.name="Array_Invalid_19"
js.execute.ignore=true
======
>>> main.whiley
function copy(int[] a) -> (int[] b):
    int n = |a|-1
    return [0; n]

public export method test():
    assume copy([]) == []
    assume copy([1]) == [0]
    assume copy([1,2]) == [0,0]
    assume copy([1,2,3]) == [0,0,0]
---
E709 main.whiley 3,15
E726 main.whiley 3,15