diff --git a/fco2/testcases/chanany.occ b/fco2/testcases/chanany.occ new file mode 100644 index 0000000..661b92a --- /dev/null +++ b/fco2/testcases/chanany.occ @@ -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 +: