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

original.name="Property_Valid_10"
======
>>> main.whiley
// This benchmark was created specifically to test recursive
// properties.

// A recursive property capturing the concept of
// the sum of an array
property sum(int[] arr, int i, int s) -> (bool r):
    return (i >= 0 && i < |arr| && sum(arr,i+1,s-arr[i])) ||
           (i >= |arr| && s == 0)

public export method test():
    //
    assert sum([],0,0)
    //
    assert sum([0],0,0)
    //
    assert sum([0,1],0,1)
    //
    assert sum([1,2,3],0,6)
---