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        : Alu2
  12 #ship alu21        : Alu2
  13
  14
  15 fifo0.out: load loop counter with 1;
  16 fifo0.out: [L] collect;
  17
  18 debug0.in: load repeat counter with *;
  19 debug0.in: recv, deliver, notify alu21.out;
  20
  21 fifo0.in: literal 12;
  22 fifo0.in: load repeat counter with *;
  23 fifo0.in: deliver;
  24
  25 alu21.inOp: literal 2;
  26 alu21.inOp: load repeat counter with 6;
  27 alu21.inOp: deliver;
  28
  29 alu21.in1: load repeat counter with *;
  30 alu21.in1: recv, deliver, notify fifo0.out;
  31
  32 fifo0.out: [L] sendto alu21.in1;
  33 fifo0.out: [L] wait;
  34
  35 alu21.in2: literal 2;
  36 alu21.in2: load repeat counter with *;
  37 alu21.in2: deliver;
  38
  39 fifo0.out: [+] tail;
  40
  41 alu21.out: notify alu21.out;
  42 alu21.out: load loop counter with 1;
  43 alu21.out: [L] collect;
  44 //alu21.out: [L] setflags a=a, b=b;   // uncommenting this line will mask the bug
  45 alu21.out: [L] sendto debug0.in;
  46 alu21.out: [L] wait;
  47 alu21.out: [+] tail;