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

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

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

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