From d1847219791e1b8a66ac4d128de6d18aa2d68779 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 21 Jan 2009 00:00:31 +0000
Subject: [PATCH] Added yet more tests for channel-ends

---
 testcases/automatic/chan-ends.occ.test | 58 ++++++++++++++++++++++++++
 1 file changed, 58 insertions(+)

diff --git a/testcases/automatic/chan-ends.occ.test b/testcases/automatic/chan-ends.occ.test
index 8c3b2f4..9d3eb06 100644
--- a/testcases/automatic/chan-ends.occ.test
+++ b/testcases/automatic/chan-ends.occ.test
@@ -172,5 +172,63 @@ PROC main()
 %M
   foo(c!)
 
+%PASS Both body abbrev, with no direction
+  CHAN INT d IS c:
+  SEQ
+    d ! 3
+    INT x:
+    d ? x
+%M
+  foo(c)
+
+%FAIL Both body abbrev, with input direction
+  CHAN INT d IS c:
+  SEQ
+    d ! 3
+    INT x:
+    d ? x
+%M
+  foo(c?)
+
+%FAIL Both body abbrev, with output direction
+  CHAN INT d IS c:
+  SEQ
+    d ! 3
+    INT x:
+    d ? x
+%M
+  foo(c!)
+
+%PASS Both body sep abbrev, with no direction
+  CHAN INT d IS c:
+  SEQ
+    d ! 3
+    CHAN INT e IS c:
+    INT x:
+    e ? x
+%M
+  foo(c)
+
+%FAIL Both body sep abbrev, with input direction
+  CHAN INT d IS c:
+  SEQ
+    d ! 3
+    CHAN INT e IS c:
+    INT x:
+    e ? x
+%M
+  foo(c?)
+
+%FAIL Both body sep abbrev, with output direction
+  CHAN INT d IS c:
+  SEQ
+    d ! 3
+    CHAN INT e IS c:
+    INT x:
+    e ? x
+%M
+  foo(c!)
+
+
 
 %