tests/choice/mux-test.fleet

   1 // expected output
   2 #expect 1
   3 #expect 2
   4 #expect 1
   5
   6 #expect 2
   7 #expect 1
   8 #expect 2
   9
  10 #expect 1
  11 #expect 1
  12 #expect 2
  13
  14 #expect 2
  15 #expect 2
  16 #expect 1
  17
  18 #expect 2
  19 #expect 1
  20 #expect 1
  21
  22 #expect 1
  23 #expect 2
  24 #expect 2
  25
  26
  27 // ships required in order to run this code
  28 #ship debug        : Debug
  29 #ship choice       : Choice
  30 #ship fifo         : Fifo
  31
  32 choice.out1: [*] take, sendto debug.in;
  33
  34 // this should never emit anything
  35 choice.out2: take; [*] notify debug.in;
  36
  37 debug.in:    notify fifo.out; [*] take, deliver, notify fifo.out;
  38
  39 choice.in1: take; [*] deliver;
  40 choice.in2: take; [*] deliver;
  41 1: sendto choice.in1;
  42 2: sendto choice.in2;
  43
  44 choice.in: [*] take, deliver;
  45
  46 fifo.in:   [*] take, deliver;
  47
  48 -1: sendto fifo.in;
  49  0: sendto fifo.in;
  50  1: sendto fifo.in;
  51 -1: sendto fifo.in;
  52  0: sendto fifo.in;
  53  1: sendto fifo.in;
  54 -1: sendto fifo.in;
  55  0: sendto fifo.in;
  56  1: sendto fifo.in;
  57 -1: sendto fifo.in;
  58  0: sendto fifo.in;
  59  1: sendto fifo.in;
  60 -1: sendto fifo.in;
  61  0: sendto fifo.in;
  62  1: sendto fifo.in;
  63 -1: sendto fifo.in;
  64  0: sendto fifo.in;
  65  1: sendto fifo.in;
  66
  67 fifo.out:
  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;