#expect 2
#ship debug : Debug
-#ship alu : Alu2
+#ship alu : Alu
// attempts to get tokens to "collide" in the switch fabric
debug.in:
- literal 2;
- [*] wait, deliver;
+ set word= 2;
+ set ilc=*; recv token, deliver;
-alu.inOp: deliver; notify debug.in;
-alu.in1: deliver; notify debug.in;
-alu.in2: deliver; notify debug.in;
-alu.out: collect; notify debug.in;
+alu.inOp: set word=Alu.inOp[ADD]; deliver; send token to debug.in;
+alu.in1: deliver; send token to debug.in;
+alu.in2: deliver; send token to debug.in;
+alu.out: collect; send token to debug.in;