tests/choice/swap-test.fleet-

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