C# (CSharp) Helios.FsCheck.Tests.Channels.Sockets TcpServerSocketChannelStateMachine Examples

Example #1

File: TcpSocketServerSpecs.cs Project: mortezasoft/helios

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

            try
            {
                model.ToProperty().VerboseCheckThrowOnFailure();
            }
            finally
            {
                model.ShutdownAll();
            }
        }

Example #2

File: TcpServerSocketChannelStateMachine.cs Project: zhangrl/helios

 public ShutdownChannels(TcpServerSocketChannelStateMachine sm)
 {
     _sm   = sm;
     Model = _sm.InternalState;
 }