The following is an invalid µOCCAM program. Three channels are declared and three integers, one of the integers is assigned a value. This test fails because one of the 3 integer variables is used as a channel.
-- I am a sample test program, I am lonely. Please be my friend. CHAN why: CHAN are: CHAN you: INT s: INT a: INT d = 1 : SEQ SEQ SEQ why ? s are ? a d ? you -- Because I am a failure.