tests/alu1/simple-alu1-test.fleet

   1 // expected output
   2 #expect 10
   3 #expect 8
   4 #expect 9
   5 #expect -9
   6 #expect 9
   7
   8 #ship debug        : Debug
   9 #ship alu1         : Alu1
  10
  11 debug.in:   [*] take, deliver;
  12 9:          sendto alu1.in;
  13 9:          sendto alu1.in;
  14 9:          sendto alu1.in;
  15 9:          sendto alu1.in;
  16
  17 1:          sendto alu1.inOp;
  18 2:          sendto alu1.inOp;
  19 3:          sendto alu1.inOp;
  20 0:          sendto alu1.inOp;
  21 0:          sendto alu1.inOp;
  22
  23 alu1.in:    [*] take, deliver;
  24 alu1.inOp:  [*] take, deliver;
  25 alu1.out:
  26   [3] take, sendto debug.in;
  27   take;
  28   sendto debug.in;
  29   sendto alu1.in;
  30   [*] take, sendto debug.in;