+++ /dev/null
-// expected output
-#expect 10
-#expect 8
-#expect 9
-#expect -9
-#expect 9
-
-#ship debug : Debug
-#ship alu1 : Alu1
-
-debug.in: [*] take, deliver;
-9: sendto alu1.in;
-9: sendto alu1.in;
-9: sendto alu1.in;
-9: sendto alu1.in;
-
-1: sendto alu1.inOp;
-2: sendto alu1.inOp;
-3: sendto alu1.inOp;
-0: sendto alu1.inOp;
-0: sendto alu1.inOp;
-
-alu1.in: [*] take, deliver;
-alu1.inOp: [*] take, deliver;
-alu1.out:
- [3] take, sendto debug.in;
- take;
- sendto debug.in;
- sendto alu1.in;
- [*] take, sendto debug.in;
+++ /dev/null
-// expected output
-#ship debug : Debug
-#ship alu : Alu2
-
-#expect 17
-#expect 1
-#expect 8
-#expect 9
-
-debug.in: [*] take, deliver;
-9: sendto alu.in1;
-9: sendto alu.in1;
-9: sendto alu.in1;
-9: sendto alu.in1;
-8: sendto alu.in2;
-8: sendto alu.in2;
-8: sendto alu.in2;
-8: sendto alu.in2;
-
-Alu2.ADD: sendto alu.inOp;
-Alu2.SUB: sendto alu.inOp;
-Alu2.MIN: sendto alu.inOp;
-Alu2.MAX: sendto alu.inOp;
-
-alu.in1: [*] take, deliver;
-alu.in2: [*] take, deliver;
-alu.inOp: [*] take, deliver;
-alu.out: [*] take, sendto debug.in;