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

original.name="ConstrainedArray_Invalid_3"
js.execute.ignore=true
======
>>> main.whiley
type char is (int x) where x >= 0 && x <= 255
type string is char[]

function update(string str) -> char[]:
    return [-1]

public export method test():
    string s1 = "Hello World"
    assume update(s1) == [-1]
---
E702 main.whiley 5,11:14
E717 main.whiley 5,4:14