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