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

original.name="Template_Valid_23"
======
>>> main.whiley
function f<T>(T[] arr) -> T[]:
    //
    return []

function g<T>(T[] arr, T def) -> T[]:
    //
    return [def; |arr|]

public export method test():
    //
    assume f([1,2,3]) == []
    assume f([true,false]) == []
    //
    assume g([],0) == []
    assume g([1,2,3],0) == [0,0,0]
    assume g([true,false],false) == [false,false]
    
---