Neil Brown c7931bf800 Added more tests ready for channel-end inference		2009-01-23 14:47:59 +00:00
..
chan-ends.occ.test	Added more tests ready for channel-end inference	2009-01-23 14:47:59 +00:00
direction-decorators-1.occ.test	Implement channel direction decorators.	2008-06-09 21:35:20 +00:00
direction-decorators-2.occ.test	Implement channel direction decorators.	2008-06-09 21:35:20 +00:00
direction-decorators-3.occ.test	Implement channel direction decorators.	2008-06-09 21:35:20 +00:00
initial-result-1.occ.test	Initial work on supporting INITIAL and RESULT abbreviations.	2008-06-02 20:41:37 +00:00
initial-result-2.occ.test	Initial work on supporting INITIAL and RESULT abbreviations.	2008-06-02 20:41:37 +00:00
unify-types-1.rain.test	Added some tests for the type-checking of poison statements in Rain	2008-09-12 14:37:11 +00:00
usage-check-1.occ.test	Added some more testcases for array usage checking that involve complicated expressions	2008-02-11 14:40:28 +00:00
usage-check-2.occ.test	Added a couple more tests	2008-01-25 11:19:58 +00:00
usage-check-3.occ.test	Tweaked some tests so that they are now correct	2008-02-08 14:03:45 +00:00
usage-check-4.occ.test	Added tests with multi-dimensional arrays	2008-01-25 16:16:16 +00:00
usage-check-5.occ.test	Fix a broken occam test (spotted by the new type checker).	2008-03-26 14:45:51 +00:00
usage-check-6.occ.test	Added an additional testcase for conditions in the usage checking	2008-06-07 20:29:21 +00:00