public void TcpSeverSocketChannel_should_obey_model()
        {
            var model = new TcpServerSocketChannelStateMachine();

            try
            {
                model.ToProperty().VerboseCheckThrowOnFailure();
            }
            finally
            {
                model.ShutdownAll();
            }
        }
 public ShutdownChannels(TcpServerSocketChannelStateMachine sm)
 {
     _sm   = sm;
     Model = _sm.InternalState;
 }