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

original.name="Quantifiers_Invalid_1"
js.execute.ignore=true
======
>>> main.whiley

function f(int[] ls) -> bool
requires some { i in 0..|ls| | ls[i] < 0 }:
    return true

public export method test() :
    f([-1])
    f([0,1,-1])
    f([0,1,-2,1])
    f([1, 2, 3])
---
E700 main.whiley 10,4:15
E716 main.whiley 10,4:15