-#expect 20
-#expect 40
+#expect 0
+#expect 0
#ship debug : Debug
#ship fifo : Fifo
-fifo.out:
- recv token;
- send token to debug.in:i;
-
debug.in:
+ set word= 0;
head;
[Rq] nop;
- send token to fifo.out;
- set ilc=*;
- [T] recv token;
- [*] set word= 20;
- [*] deliver;
deliver;
+ set olc=0;
+ [d] abort;
tail;
- [*] set word= 40;
[*] deliver;