diff --git a/testcases/automatic/chan-ends.occ.test b/testcases/automatic/chan-ends.occ.test index 9d3eb06..5954783 100644 --- a/testcases/automatic/chan-ends.occ.test +++ b/testcases/automatic/chan-ends.occ.test @@ -229,6 +229,52 @@ PROC main() %M foo(c!) +%PASS Inner PROC that writes, no name capture, no original direction + PROC inner(CHAN INT d) + d ! 3 + : + inner(c) +%M + foo(c) +%PASS Inner PROC that writes, no name capture, original output direction + PROC inner(CHAN INT d) + d ! 3 + : + inner(c) +%M + foo(c!) + +%FAIL Inner PROC that writes, no name capture, original input direction + PROC inner(CHAN INT d) + d ! 3 + : + inner(c) +%M + foo(c?) + +%PASS Inner PROC that writes using name capture, no original direction + PROC inner() + c ! 3 + : + inner() +%M + foo(c) + +%PASS Inner PROC that writes using name capture, original output direction + PROC inner() + c ! 3 + : + inner() +%M + foo(c!) + +%FAIL Inner PROC that writes using name capture, original input direction + PROC inner() + c ! 3 + : + inner() +%M + foo(c?) %