tests/recycle/test-recycle.fleet

   1 #expect 6
   2 #expect 6
   3 #expect 6
   4 #expect 10
   5 #expect 10
   6 #expect 10
   7 #expect 14
   8 #expect 14
   9 #expect 14
  10 #expect 14
  11 #expect 14
  12 #expect 14
  13 #expect 18
  14 #expect 18
  15 #expect 18
  16 #expect 18
  17 #expect 18
  18 #expect 18
  19 #expect 22
  20 #expect 22
  21 #expect 22
  22 #expect 22
  23 #expect 22
  24 #expect 22
  25 #expect 26
  26 #expect 26
  27 #expect 26
  28 #expect 26
  29 #expect 26
  30 #expect 26
  31 #expect 30
  32 #expect 30
  33 #expect 30
  34 #expect 30
  35 #expect 30
  36 #expect 30
  37 #expect 34
  38 #expect 34
  39 #expect 34
  40 #expect 34
  41 #expect 34
  42 #expect 34
  43 #expect 34
  44 #expect 34
  45 #expect 34
  46 #expect 34
  47 #expect 34
  48 #expect 34
  49 #expect 34
  50 #expect 34
  51
  52 #ship alu   : Alu2
  53 #ship debug : Debug
  54
  55 2:         sendto alu.in1;
  56 4:         sendto alu.in2;
  57 Alu2.ADD:  sendto alu.inOp;
  58 alu.in1:   [*] nop;
  59            (*) take, deliver;
  60            (*) deliver;
  61            (*) dismiss;
  62            (4) deliver;
  63            kill;
  64 alu.in2:   take;
  65            [*] deliver;
  66 alu.inOp:  take;
  67            (*) deliver;
  68 alu.out:   [*] nop;
  69            (40) take, sendto alu.in1;
  70            (50) sendto debug.in;
  71            kill;
  72 debug.in:  [*] take, deliver;