Recycle test.
authorAmir Kamil <kamil@cs.berkeley.edu>
Mon, 19 Feb 2007 10:01:48 +0000 (11:01 +0100)
committerAmir Kamil <kamil@cs.berkeley.edu>
Mon, 19 Feb 2007 10:01:48 +0000 (11:01 +0100)
tests/recycle/test-recycle.fleet [new file with mode: 0644]

diff --git a/tests/recycle/test-recycle.fleet b/tests/recycle/test-recycle.fleet
new file mode 100644 (file)
index 0000000..d7d73de
--- /dev/null
@@ -0,0 +1,72 @@
+#expect 6
+#expect 6
+#expect 6
+#expect 10
+#expect 10
+#expect 10
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+#expect 14
+#expect 18
+#expect 18
+#expect 18
+#expect 18
+#expect 18
+#expect 18
+#expect 22
+#expect 22
+#expect 22
+#expect 22
+#expect 22
+#expect 22
+#expect 26
+#expect 26
+#expect 26
+#expect 26
+#expect 26
+#expect 26
+#expect 30
+#expect 30
+#expect 30
+#expect 30
+#expect 30
+#expect 30
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+#expect 34
+
+#ship alu   : Alu2
+#ship debug : Debug
+
+2:         sendto alu.in1;
+4:         sendto alu.in2;
+Alu2.ADD:  sendto alu.inOp;
+alu.in1:   [*] nop;
+           (*) take, deliver;
+           (*) deliver;
+           (*) dismiss;
+           (4) deliver;
+           kill;
+alu.in2:   take;
+           [*] deliver;
+alu.inOp:  take;
+           (*) deliver;
+alu.out:   [*] nop;
+           (40) take, sendto alu.in1;
+           (50) sendto debug.in;
+           kill;
+debug.in:  [*] take, deliver;