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