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