public ActionResult EditTest01([PexAssumeUnderTest] PuntoEmisionController target, tbPuntoEmision PuntoEmision)
        {
            ActionResult result = target.Edit(PuntoEmision);

            return(result);
            // TODO: add assertions to method PuntoEmisionControllerTest.EditTest01(PuntoEmisionController, tbPuntoEmision)
        }
        public ActionResult EditTest([PexAssumeUnderTest] PuntoEmisionController target, int?id)
        {
            ActionResult result = target.Edit(id);

            return(result);
            // TODO: add assertions to method PuntoEmisionControllerTest.EditTest(PuntoEmisionController, Nullable`1<Int32>)
        }