public JsonResult AnularPedidoTest( [PexAssumeUnderTest] PedidoController target, int CodPedido, bool NoAnulado, string RazonAnulado ) { JsonResult result = target.AnularPedido(CodPedido, NoAnulado, RazonAnulado); return(result); // TODO: agregar aserciones a método PedidoControllerTest.AnularPedidoTest(PedidoController, Int32, Boolean, String) }