public ActionResult DetailsTest([PexAssumeUnderTest] AdditiviController target, int?id) { ActionResult result = target.Details(id); return(result); // TODO: aggiungere asserzioni a metodo AdditiviControllerTest.DetailsTest(AdditiviController, Nullable`1<Int32>) }