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>)
}