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