public ActionResult EditTest([PexAssumeUnderTest] NotaCreditoController target, short?id)
        {
            ActionResult result = target.Edit(id);

            return(result);
            // TODO: agregar aserciones a método NotaCreditoControllerTest.EditTest(NotaCreditoController, Nullable`1<Int16>)
        }
        public ActionResult EditTest01([PexAssumeUnderTest] NotaCreditoController target, tbNotaCredito tbNotaCredito)
        {
            ActionResult result = target.Edit(tbNotaCredito);

            return(result);
            // TODO: agregar aserciones a método NotaCreditoControllerTest.EditTest01(NotaCreditoController, tbNotaCredito)
        }