public ActionResult EditTest01([PexAssumeUnderTest] LuppoliController target, Luppoli luppoli) { ActionResult result = target.Edit(luppoli); return(result); // TODO: aggiungere asserzioni a metodo LuppoliControllerTest.EditTest01(LuppoliController, Luppoli) }
public ActionResult EditTest([PexAssumeUnderTest] LuppoliController target, int?id) { ActionResult result = target.Edit(id); return(result); // TODO: aggiungere asserzioni a metodo LuppoliControllerTest.EditTest(LuppoliController, Nullable`1<Int32>) }