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="UnionType_Invalid_26"
======
>>> main.whiley
type IntList is int | int[]

method test():
    IntList x = [1,2,3]
    // Following is safe
    assume x[0] == 1
    // Invalid x
    x = 1    
    // Following is unsafe
    assume x[0] == 1
    
---
E400 main.whiley 10,11