tests/choice/swap-test.fleet

   1 // expected output
   2 #expect 1
   3 #expect 2
   4 #expect 2
   5 #expect 1
   6 #expect 1
   7 #expect 2
   8
   9 #expect 2
  10 #expect 1
  11 #expect 1
  12 #expect 2
  13 #expect 2
  14 #expect 1
  15
  16 #expect 1
  17 #expect 2
  18 #expect 1
  19 #expect 2
  20 #expect 2
  21 #expect 1
  22
  23 #expect 2
  24 #expect 1
  25 #expect 2
  26 #expect 1
  27 #expect 1
  28 #expect 2
  29
  30 #expect 2
  31 #expect 1
  32 #expect 1
  33 #expect 2
  34 #expect 1
  35 #expect 2
  36
  37 #expect 1
  38 #expect 2
  39 #expect 2
  40 #expect 1
  41 #expect 2
  42 #expect 1
  43
  44 // ships required in order to run this code
  45 #ship debug        : Debug
  46 #ship choice       : Choice
  47 #ship fifo         : Fifo
  48
  49 // alternate values from choice1+choice2
  50 choice.out1: [*] wait, take, sendto debug.in;
  51 choice.out2: [*] wait, take, sendto debug.in;
  52 debug.in:
  53   [*] nop;
  54   (*) notify fifo.out;
  55   (*) notify choice.out1;
  56   (*) take, deliver;
  57   (*) notify choice.out2;
  58   (*) take, deliver;
  59   kill*;
  60
  61 choice.in1: take; [*] deliver;
  62 choice.in2: take; [*] deliver;
  63 1: sendto choice.in1;
  64 2: sendto choice.in2;
  65
  66 choice.in: [*] take, deliver;
  67
  68 fifo.in:   [*] take, deliver;
  69
  70 -1: sendto fifo.in;
  71  0: sendto fifo.in;
  72  1: sendto fifo.in;
  73 -1: sendto fifo.in;
  74  0: sendto fifo.in;
  75  1: sendto fifo.in;
  76 -1: sendto fifo.in;
  77  0: sendto fifo.in;
  78  1: sendto fifo.in;
  79 -1: sendto fifo.in;
  80  0: sendto fifo.in;
  81  1: sendto fifo.in;
  82 -1: sendto fifo.in;
  83  0: sendto fifo.in;
  84  1: sendto fifo.in;
  85 -1: sendto fifo.in;
  86  0: sendto fifo.in;
  87  1: sendto fifo.in;
  88
  89 fifo.out:
  90   [3] wait, take, sendto choice.in.swapIfZero;
  91   [3] wait, take, sendto choice.in.swapIfNonZero;
  92   [3] wait, take, sendto choice.in.swapIfPositive;
  93   [3] wait, take, sendto choice.in.swapIfNonPositive;
  94   [3] wait, take, sendto choice.in.swapIfNegative;
  95   [3] wait, take, sendto choice.in.swapIfNonNegative;