add test-for-common-requeue-timing-error

diff --git a/tests/requeue/test-for-common-requeue-timing-error.fleet b/tests/requeue/test-for-common-requeue-timing-error.fleet
new file mode 100644 (file)
index 0000000..dd265ca
--- /dev/null
+++ b/tests/requeue/test-for-common-requeue-timing-error.fleet
@@ -0,0 +1,47 @@
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+
+#ship debug0       : Debug
+#ship fifo0        : Fifo
+#ship fifo1        : Fifo
+#ship alu20        : Alu2
+#ship alu21        : Alu2
+
+
+fifo0.out: load loop counter with 1;
+fifo0.out: [L] collect;
+
+debug0.in: load repeat counter with *;
+debug0.in: recv, deliver, notify alu21.out;
+
+fifo0.in: literal 12;
+fifo0.in: load repeat counter with *;
+fifo0.in: deliver;
+
+alu21.inOp: literal 2;
+alu21.inOp: load repeat counter with 6;
+alu21.inOp: deliver;
+
+alu21.in1: load repeat counter with *;
+alu21.in1: recv, deliver, notify fifo0.out;
+
+fifo0.out: [L] sendto alu21.in1;
+fifo0.out: [L] wait;
+
+alu21.in2: literal 2;
+alu21.in2: load repeat counter with *;
+alu21.in2: deliver;
+
+fifo0.out: [+] tail;
+
+alu21.out: notify alu21.out;
+alu21.out: load loop counter with 1;
+alu21.out: [L] collect;
+//alu21.out: [L] setflags a=a, b=b;   // uncommenting this line will mask the bug
+alu21.out: [L] sendto debug0.in;
+alu21.out: [L] wait;
+alu21.out: [+] tail;