public ActionResult EditTest01([PexAssumeUnderTest] PagoController target, tbPago tbPago)
{
ActionResult result = target.Edit(tbPago);
return(result);
// TODO: agregar aserciones a método PagoControllerTest.EditTest01(PagoController, tbPago)
}
public ActionResult EditTest([PexAssumeUnderTest] PagoController target, int?id)
{
ActionResult result = target.Edit(id);
return(result);
// TODO: agregar aserciones a método PagoControllerTest.EditTest(PagoController, Nullable`1<Int32>)
}
