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

original.name="Property_Invalid_3"
js.execute.ignore=true
======
>>> main.whiley
property nat(int x) -> bool:
   return x >= 0

property natArray(int[] xs) -> bool:
   return all { i in 0..|xs| | nat(xs[i]) }

function id(int[] xs) -> (int[] ys)
ensures natArray(ys):
    return xs

public export method test():
   assume id([0,1,2]) == [0,1,2]
   assume id([-1,1,2]) == [-1,1,2]
---
E701 main.whiley 13,10:21
E717 main.whiley 9,4:12