28 // ships required in order to run this code
33 choice.out1: [*] take, sendto debug.in;
35 // this should never emit anything
36 choice.out2: take; [*] notify debug.in;
38 debug.in: notify fifo.out; [*] take, deliver, notify fifo.out;
40 choice.in1: take; [*] deliver;
41 choice.in2: take; [*] deliver;
45 choice.in: [*] take, deliver;
47 fifo.in: [*] take, deliver;
69 [3] wait, take, sendto choice.in.muxIfZero;
70 [3] wait, take, sendto choice.in.muxIfNonZero;
71 [3] wait, take, sendto choice.in.muxIfPositive;
72 [3] wait, take, sendto choice.in.muxIfNonPositive;
73 [3] wait, take, sendto choice.in.muxIfNegative;
74 [3] wait, take, sendto choice.in.muxIfNonNegative;