public void Savings704()
 {
     using (PexDisposableContext disposables = PexDisposableContext.Create())
     {
         CoursesController coursesController;
         ViewResult        viewResult;
         coursesController = CoursesControllerFactory.Create
                                 ((IDependencyResolver)null, (IActionInvoker)null,
                                 (ITempDataProvider)null, (UrlHelper)null, (ViewEngineCollection)null,
                                 (ControllerContext)null, (TempDataDictionary)null,
                                 false, (IValueProvider)null, (ViewDataDictionary)null);
         disposables.Add((IDisposable)coursesController);
         viewResult = this.Savings(coursesController);
         disposables.Dispose();
         Assert.IsNotNull((object)viewResult);
         Assert.AreEqual <string>("", viewResult.MasterName);
         Assert.IsNull(((ViewResultBase)viewResult).View);
         Assert.AreEqual <string>("", ((ViewResultBase)viewResult).ViewName);
         Assert.IsNotNull((object)coursesController);
         Assert.IsNotNull(((Controller)coursesController).AsyncManager);
         Assert.IsNotNull
             (((Controller)coursesController).AsyncManager.OutstandingOperations);
         Assert.IsNotNull(((Controller)coursesController).AsyncManager.Parameters);
         Assert.AreEqual <int>
             (45000, ((Controller)coursesController).AsyncManager.Timeout);
         Assert.IsNull(((Controller)coursesController).Url);
         Assert.IsNull(((ControllerBase)coursesController).ControllerContext);
         Assert.AreEqual <bool>
             (false, ((ControllerBase)coursesController).ValidateRequest);
     }
 }
 public void Savings22405()
 {
     using (PexDisposableContext disposables = PexDisposableContext.Create())
     {
         RouteData         routeData;
         CoursesController coursesController;
         ViewResult        viewResult;
         routeData = new RouteData((RouteBase)null, (IRouteHandler)null);
         ControllerContext s0 = new ControllerContext();
         s0.Controller  = (ControllerBase)null;
         s0.HttpContext = (HttpContextBase)null;
         RequestContext s1 = new RequestContext();
         s1.HttpContext    = (HttpContextBase)null;
         s1.RouteData      = routeData;
         s0.RequestContext = s1;
         s0.RouteData      = (RouteData)null;
         coursesController = CoursesControllerFactory.Create
                                 ((IDependencyResolver)null, (IActionInvoker)null,
                                 (ITempDataProvider)null, (UrlHelper)null, (ViewEngineCollection)null,
                                 s0, (TempDataDictionary)null,
                                 false, (IValueProvider)null, (ViewDataDictionary)null);
         disposables.Add((IDisposable)coursesController);
         viewResult = this.Savings(coursesController);
         disposables.Dispose();
         Assert.IsNotNull((object)viewResult);
         Assert.AreEqual <string>("", viewResult.MasterName);
         Assert.IsNull(((ViewResultBase)viewResult).View);
         Assert.AreEqual <string>("", ((ViewResultBase)viewResult).ViewName);
         Assert.IsNotNull((object)coursesController);
         Assert.IsNotNull(((Controller)coursesController).AsyncManager);
         Assert.IsNotNull
             (((Controller)coursesController).AsyncManager.OutstandingOperations);
         Assert.IsNotNull(((Controller)coursesController).AsyncManager.Parameters);
         Assert.AreEqual <int>
             (45000, ((Controller)coursesController).AsyncManager.Timeout);
         Assert.IsNull(((Controller)coursesController).Url);
         Assert.IsNotNull(((ControllerBase)coursesController).ControllerContext);
         Assert.IsNull
             (((ControllerBase)coursesController).ControllerContext.Controller);
         Assert.AreEqual <bool>
             (false, ((ControllerBase)coursesController).ValidateRequest);
     }
 }