Example #1
0
        public ActionResult EditTest01([PexAssumeUnderTest] AdditiviController target, Additivi additivi)
        {
            ActionResult result = target.Edit(additivi);

            return(result);
            // TODO: aggiungere asserzioni a metodo AdditiviControllerTest.EditTest01(AdditiviController, Additivi)
        }
Example #2
0
        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>)
        }
Example #3
0
        public ActionResult DeleteConfirmedTest([PexAssumeUnderTest] AdditiviController target, int id)
        {
            ActionResult result = target.DeleteConfirmed(id);

            return(result);
            // TODO: aggiungere asserzioni a metodo AdditiviControllerTest.DeleteConfirmedTest(AdditiviController, Int32)
        }
Example #4
0
        public ActionResult CreateTest([PexAssumeUnderTest] AdditiviController target)
        {
            ActionResult result = target.Create();

            return(result);
            // TODO: aggiungere asserzioni a metodo AdditiviControllerTest.CreateTest(AdditiviController)
        }
Example #5
0
        public AdditiviController ConstructorTest()
        {
            AdditiviController target = new AdditiviController();

            return(target);
            // TODO: aggiungere asserzioni a metodo AdditiviControllerTest.ConstructorTest()
        }
Example #6
0
        public void TestMethod1()
        {
            // Arrange


            // Act
            AdditiviController additiviController = this.CreateAdditiviController();


            // Assert
        }