CHAN OF ANY testcase
This commit is contained in:
parent
6e04185502
commit
7507bd21dc
15
fco2/testcases/chanany.occ
Normal file
15
fco2/testcases/chanany.occ
Normal file
|
@ -0,0 +1,15 @@
|
|||
PROC P ()
|
||||
CHAN OF ANY eww:
|
||||
PAR
|
||||
SEQ
|
||||
eww ! 14
|
||||
eww ! "hello"
|
||||
eww ! TRUE
|
||||
SEQ
|
||||
INT i:
|
||||
eww ? i
|
||||
[5]BYTE buf:
|
||||
eww ? buf
|
||||
BOOL b:
|
||||
eww ? b
|
||||
:
|
Loading…
Reference in New Issue
Block a user