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) }