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 alu20        : Alu
  11 #ship alu21        : Alu
  12
  13
  14 fifo0.out: set olc=1;
  15 fifo0.out: collect;
  16
  17 debug0.in: set ilc=*;
  18 debug0.in: recv, deliver, send token to alu21.out;
  19
  20 fifo0.in: set word= 12;
  21 fifo0.in: set ilc=*;
  22 fifo0.in: deliver;
  23
  24 alu21.inOp: set word= 2;
  25 alu21.inOp: set ilc=6;
  26 alu21.inOp: deliver;
  27
  28 alu21.in1: set ilc=*;
  29 alu21.in1: recv, deliver, send token to fifo0.out;
  30
  31 fifo0.out: head;
  32 fifo0.out: send to alu21.in1;
  33 fifo0.out: 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: head;
  44 alu21.out: collect;
  45 //alu21.out: set flags a=a, b=b;   // uncommenting this line will mask the bug
  46 alu21.out: send to debug0.in;
  47 alu21.out: recv token;
  48 alu21.out: tail;