27 // ships required in order to run this code
32 choice.out1: [*] take, sendto debug.in;
34 // this should never emit anything
35 choice.out2: take; [*] notify debug.in;
37 debug.in: notify fifo.out; [*] take, deliver, notify fifo.out;
39 choice.in1: take; [*] deliver;
40 choice.in2: take; [*] deliver;
44 choice.in: [*] take, deliver;
46 fifo.in: [*] take, deliver;
68 [3] wait, take, sendto choice.in.muxIfZero;
69 [3] wait, take, sendto choice.in.muxIfNonZero;
70 [3] wait, take, sendto choice.in.muxIfPositive;
71 [3] wait, take, sendto choice.in.muxIfNonPositive;
72 [3] wait, take, sendto choice.in.muxIfNegative;
73 [3] wait, take, sendto choice.in.muxIfNonNegative;