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
original.name="Parsing_Invalid_16"
======
>>> main.whiley
function f() -> {int x, int y}:
   return {x: 1, x: 2, y: 3}

public export method test():
   assume f() == {x:2,y:3}
---
E315 main.whiley 2,17
=====
>>> main.whiley 2:3
   return {x: 2, y: 3}
---