import "adder.act";

defproc src1 (chan!(int) X)
{
   chp {
      X!3; X!5; X!2  // test inputs
    }
}

defproc src2(chan!(int) X)
{
   chp {
      X!7; X!9; X!3
   }
}

defproc sink(chan?(int) X)
{ 
   int x;
   chp {
      *[ X?x; log ("received ", x) ]   // read a value and display it
   }
}

defproc test()
{
    adder a;
    src1 s1(a.A);
    src2 s2(a.B);
    sink sx(a.C);
 }