public ActionResult EditTest01([PexAssumeUnderTest] CuentaBancoController target, tbCuentasBanco CuentasBanco)
{
ActionResult result = target.Edit(CuentasBanco);
return(result);
// TODO: add assertions to method CuentaBancoControllerTest.EditTest01(CuentaBancoController, tbCuentasBanco)
}
public ActionResult EditTest([PexAssumeUnderTest] CuentaBancoController target, short?id)
{
ActionResult result = target.Edit(id);
return(result);
// TODO: add assertions to method CuentaBancoControllerTest.EditTest(CuentaBancoController, Nullable`1<Int16>)
}