public void Stop943()
{
PirateBroadcaster pirateBroadcaster;
pirateBroadcaster = new PirateBroadcaster(0, 1);
pirateBroadcaster.Start();
this.Stop(pirateBroadcaster);
Assert.IsNotNull((object)pirateBroadcaster);
Assert.IsNotNull(pirateBroadcaster.Message);
Assert.AreEqual<int>(0, pirateBroadcaster.Message.Length);
Assert.AreEqual<int>(0, pirateBroadcaster.Port);
}
public void IntervalGet162()
{
PirateBroadcaster pirateBroadcaster;
double d;
pirateBroadcaster = new PirateBroadcaster(0, 1);
pirateBroadcaster.Start();
d = this.IntervalGet(pirateBroadcaster);
Assert.AreEqual<double>(1, d);
Assert.IsNotNull((object)pirateBroadcaster);
Assert.IsNotNull(pirateBroadcaster.Message);
Assert.AreEqual<int>(0, pirateBroadcaster.Message.Length);
Assert.AreEqual<int>(0, pirateBroadcaster.Port);
}
public void IntervalSetThrowsContractException248()
{
try
{
PirateBroadcaster pirateBroadcaster;
pirateBroadcaster = new PirateBroadcaster(0, 1);
pirateBroadcaster.Start();
this.IntervalSet(pirateBroadcaster, 0);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch(Exception ex)
{
if (!PexContract.IsContractException(ex))
throw ex;
}
}