public ActionResult DetailsTest([PexAssumeUnderTest] ClienteController target, int?id) { ActionResult result = target.Details(id); return(result); // TODO: add assertions to method ClienteControllerTest.DetailsTest(ClienteController, Nullable`1<Int32>) }