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

Added more tests ready for channel-end inference

Browse Source
This commit is contained in:
Neil Brown 2009-01-23 14:47:59 +00:00
parent c2aaf2fcf7
commit c7931bf800
1 changed files with 46 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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