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
original.name="Parsing_Invalid_2"
======
>>> main.whiley
type nat is int
type nat is {int x, int y}
---
E316 main.whiley 2,5:7
=====
>>> main.whiley 2:3
public export method test():
   nat x = 1
   assert x == 1
---