25 // ships required in order to run this code
32 // alternate values from choice1+choice2
33 choice.out1: [*] take, notify fifo1.out;
34 choice.out2: [*] take, notify fifo2.out;
35 debug.in: [*] take, deliver, notify fifo.out;
37 choice.in1: take; [*] deliver;
40 // choice.in2 should never be used (FIXME: test this)
42 choice.in: [*] take, deliver;
44 fifo.in: [*] take, deliver;
62 fifo.out: [2] wait, take, sendto choice.in.deMuxIfZero;
63 fifo.out: [2] wait, take, sendto choice.in.deMuxIfNonZero;
64 fifo.out: [3] wait, take, sendto choice.in.deMuxIfPositive;
65 fifo.out: [3] wait, take, sendto choice.in.deMuxIfNonPositive;
66 fifo.out: [3] wait, take, sendto choice.in.deMuxIfNegative;
67 fifo.out: [3] wait, take, sendto choice.in.deMuxIfNonNegative;
71 fifo1.in: take, deliver;
72 fifo1.out: take; [*] wait, sendto debug.in;
75 fifo2.in: take, deliver;
76 fifo2.out: take; [*] wait, sendto debug.in;