protected void btnSub_ServerClick(object sender, EventArgs e)
{
int a = Convert.ToInt32(Val1.Value);
int b = Convert.ToInt32(Val2.Value);
int result = objGeneral.AddTwoPositiveNumber(a, b);
Response.Write(result);
}
public int AddTwoPositiveNumber(
[PexAssumeUnderTest] General target,
int a,
int b
)
{
int result = target.AddTwoPositiveNumber(a, b);
return(result);
// TODO: add assertions to method GeneralTest.AddTwoPositiveNumber(General, Int32, Int32)
}
