tests/requeue/test-for-common-requeue-timing-error.fleet

   1 #expect 14
   2 #expect 14
   3 #expect 14
   4 #expect 14
   5 #expect 14
   6 #expect 14
   7
   8 #ship debug0       : Debug
   9 #ship fifo0        : Fifo
  10 #ship fifo1        : Fifo
  11 #ship alu20        : Alu
  12 #ship alu21        : Alu
  13
  14
  15 fifo0.out: set olc=1;
  16 fifo0.out: [Rq] collect;
  17
  18 debug0.in: set ilc=*;
  19 debug0.in: recv, deliver, send token to alu21.out;
  20
  21 fifo0.in: set word= 12;
  22 fifo0.in: set ilc=*;
  23 fifo0.in: deliver;
  24
  25 alu21.inOp: set word= 2;
  26 alu21.inOp: set ilc=6;
  27 alu21.inOp: deliver;
  28
  29 alu21.in1: set ilc=*;
  30 alu21.in1: recv, deliver, send token to fifo0.out;
  31
  32 fifo0.out: [Rq] send to alu21.in1;
  33 fifo0.out: [Rq] recv token;
  34
  35 alu21.in2: set word= 2;
  36 alu21.in2: set ilc=*;
  37 alu21.in2: deliver;
  38
  39 fifo0.out: tail;
  40
  41 alu21.out: send token to alu21.out;
  42 alu21.out: set olc=1;
  43 alu21.out: [Rq] collect;
  44 //alu21.out: [Rq] set flags a=a, b=b;   // uncommenting this line will mask the bug
  45 alu21.out: [Rq] send to debug0.in;
  46 alu21.out: [Rq] recv token;
  47 alu21.out: tail;