tests/dock/test-use-loop-counter.fleet

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