tests/codebags/torpedoing-loops.fleet

   1 #expect 5
   2 #expect 5
   3 #expect 3
   4
   5 #ship debug  : Debug
   6 #ship memory : Memory
   7 #ship fifo   : Fifo
   8
   9 debug.in:
  10   [*] set olc=1;
  11   set word=5;
  12   head;
  13     send token to fifo.out;
  14     [T] recv token;
  15     deliver;
  16     [d] abort;
  17     [d] send token to memory.inCBD;
  18   tail;
  19
  20 fifo.out:
  21   [*] set olc=3;
  22   head;
  23     recv token;
  24     set olc--;
  25     send token to debug.in;
  26     [d] abort;
  27     [d] send token to debug.in:i;
  28   tail;
  29
  30 memory.out:
  31  set ilc=*;
  32  collect packet, send;
  33
  34 memory.inCBD:
  35   set word={
  36     debug.in:
  37       [*] set olc=1;
  38       set word=3;
  39       deliver;
  40   };
  41   recv token;
  42   deliver;