make dock counters as wide as the machine word
[fleet.git] / tests / dock / olc-long-count.fleet
1 #expect 5
2 #expect 5
3 #expect 4
4
5 #ship debug : Debug
6 #ship fifo  : Fifo
7
8 debug.in:
9   [*] set olc=1;
10   set word=65535;
11   set olc=word;
12   head;
13   recv word;
14   set olc--;
15   [d] abort;
16   [d] set ilc=*;
17   [d] recv, deliver;
18   tail;
19
20 fifo.out:
21   [*] set olc=1;
22   set word=65537;
23   set olc=word;
24   set word=5;
25   head;
26   send to debug.in;
27   set olc--;
28   [d] abort;
29   [d] set word=4;
30   [d] send to debug.in;
31   tail;
32