public void ControllerIndexMethod_CallsGetTicketsOnManager() { _controller.Index(); mgr.Received().GetTickets(); }