// expected output
#expect 9
-#expect 9
-#expect 8
-#expect 9
-#expect 9
-#expect 9
-#expect 9
-#expect 9
-#expect 9
-#expect 9
// ships required in order to run this code
#ship debug : Debug
#ship fifo : Fifo
-debug.data: [*] take, deliver;
+debug.in: [*] take, deliver;
9: sendto fifo.in;
fifo.in:
take;
[100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
- [100] deliver;
fifo.out:
- [100r] take, discard;
- [100r] take, discard;
- [1r] take, sendto debug.data;
- [100r] take, discard;
- [100r] take, discard;
- [1r] take, sendto debug.data;
- [100r] take, discard;
- [100r] take, discard;
- [1r] take, sendto debug.data;
- [100r] take, discard;
- [100r] take, discard;
- [1r] take, sendto debug.data;
- [100r] take, discard;
- [100r] take, discard;
- [1r] take, sendto debug.data;
- [100r] take, discard;
- [100r] take, discard;
- [1r] take, sendto debug.data;
- [100r] take, discard;
- [100r] take, discard;
- [1r] take, sendto debug.data;
- [100r] take, discard;
- [100r] take, discard;
- [1r] take, sendto debug.data;
- [100r] take, discard;
- [100r] take, discard;
- [1r] take, sendto debug.data;
- [100r] take, discard;
- [100r] take, discard;
- [1r] take, sendto debug.data;
+ [99r] take, sendto fifo.in;
+ [1r] take, sendto debug.in;