public ActionResult CreateTest01([PexAssumeUnderTest] MaltisController target, Malti malti)
{
ActionResult result = target.Create(malti);
return(result);
// TODO: aggiungere asserzioni a metodo MaltisControllerTest.CreateTest01(MaltisController, Malti)
}
public ActionResult CreateuTest([PexAssumeUnderTest] MaltisController target)
{
ActionResult result = target.Create();
return(result);
// TODO: aggiungere asserzioni a metodo MaltisControlleruTest.CreateuTest(MaltisController)
}
