public void divideTestThrowsOverflowException334()
{
int i;
CodeContractExample s0 = new CodeContractExample();
i = this.divideTest(s0, int.MinValue, -1);
}
public void divideTestThrowsDivideByZeroException32()
{
int i;
CodeContractExample s0 = new CodeContractExample();
i = this.divideTest(s0, 0, 0);
}
public void divideTest77()
{
int i;
CodeContractExample s0 = new CodeContractExample();
i = this.divideTest(s0, 0, 1);
Assert.AreEqual <int>(0, i);
Assert.IsNotNull((object)s0);
}
public int divideTest(
[PexAssumeUnderTest] CodeContractExample target,
int teller,
int noemer
)
{
int result = target.divide(teller, noemer);
return(result);
// TODO: add assertions to method CodeContractExampleTest.divideTest(CodeContractExample, Int32, Int32)
}
public void divideTest7701()
{
int i;
IPexChoiceRecorder choices = PexChoose.Replay.Setup();
choices.DefaultSession
.At(0, "noemer", (object)1);
CodeContractExample s0 = new CodeContractExample();
i = this.divideTest(s0, 0, 1);
Assert.AreEqual <int>(0, i);
Assert.IsNotNull((object)s0);
}
