tests/torpedo/basic-torpedo-inbox.test

   1 #expect 20
   2 #ship debug : Debug
   3 #ship fifo  : Fifo
   4
   5 debug.in:
   6   head;
   7   [Rq] nop;
   8   send token to fifo.out;
   9   set ilc=*;
  10   [T] recv token;
  11   [*] set word= 20;
  12   [*] deliver;
  13   tail;
  14
  15 fifo.out:
  16   recv token;
  17   send token to debug.in:i;
  18