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

original.name="TupleAssign_Invalid_1"
======
>>> main.whiley
type tac1tup is ({int f1, int f2} _this) where _this.f1 < _this.f2

public export method test() :
    tac1tup x = {f1: 1, f2: 3}
    x.f1 = 2
    assert x.f1 == x.f2
---
E705 main.whiley 6,11:22
E722 main.whiley 6,11:22