suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added yet more tests for channel-ends

Browse Source
This commit is contained in:
Neil Brown 2009-01-21 00:00:31 +00:00
parent 16d8468b08
commit d184721979
1 changed files with 58 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

58
testcases/automatic/chan-ends.occ.test
View File

@ -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!)
%