Ejemplo n.º 1
0
        public ActionResult EditTest01([PexAssumeUnderTest] RicetteController target, Ricette ricette)
        {
            ActionResult result = target.Edit(ricette);

            return(result);
            // TODO: aggiungere asserzioni a metodo RicetteControllerTest.EditTest01(RicetteController, Ricette)
        }
Ejemplo n.º 2
0
        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>)
        }