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
original.name="Byte_Invalid_1"
======
>>> main.whiley
public export method test() :
    byte b = 0b00000001
    int i = b * 2
    assert i != 0

---
E400 main.whiley 3,12