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

original.name="Quantifiers_Valid_3"
======
>>> main.whiley
type map is int[]

method checkAll(&map m) -> bool:
    return all { i in 0..|*m| | (*m)[i] >= 0 }

method checkSome(&map m) -> bool:
    return some { i in 0..|*m| | (*m)[i] >= 0 }

public export method test():
    bool a0 = checkAll(new [])
    bool a1 = checkAll(new [1])
    bool a2 = checkAll(new [-1])
    bool a3 = checkAll(new [2,3])
    bool a4 = checkAll(new [2,3,-1])
    //
    assume a0
    assume a1
    assume !a2
    assume a3
    assume !a4
    //
    bool s0 = checkSome(new [])
    bool s1 = checkSome(new [1])
    bool s2 = checkSome(new [-1])
    bool s3 = checkSome(new [2,3])
    bool s4 = checkSome(new [2,3,-1])    
    //
    assume !s0
    assume s1
    assume !s2
    assume s3
    assume s4
    
    
---