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