public void Execute()
{
var pa = new Port<int> ();
var pb = new Port<string> ();
var ra = Arbiter.Receive (false, pa, (i) => {});
var rb = new NakedReceiver (pb, new Task<string>((s) => {}));
var c = new Choice (ra, rb);
IPortReceive pra = pa;
IPortReceive prb = pb;
Assert.IsNull (c.Execute (), "#0");
Assert.AreEqual (ArbiterTaskState.Active, c.ArbiterState, "#1");
Assert.AreEqual (0, c.PortElementCount, "#2");
Assert.AreEqual (1, pra.GetReceivers ().Length, "#3");
Assert.AreEqual (1, prb.GetReceivers ().Length, "#4");
Assert.AreEqual (c, ra.Arbiter, "#5");
Assert.AreEqual (c, rb.Arbiter, "#6");
Assert.IsNull (ra.ArbiterContext, "#7");
Assert.IsNull (rb.ArbiterContext, "#8");
Assert.IsNull (ra.ArbiterCleanupHandler, "#9");
Assert.IsNull (rb.ArbiterCleanupHandler, "#10");
Assert.AreEqual (0, rb.execute, "#11");
Assert.AreEqual (1, rb.set_arbiter, "#12");
}