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