ouroboros-network-protocols:testlib
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.Protocol.PeerSharing.Test

Synopsis

Documentation

tests :: TestTree Source #

prop_direct :: Fun Word8 Int -> [PeerSharingAmount] -> Property Source #

prop_connect :: Fun Word8 Int -> [PeerSharingAmount] -> Property Source #

prop_channel :: (MonadST m, MonadAsync m, MonadCatch m) => Fun Word8 Int -> [PeerSharingAmount] -> m Property Source #

prop_channel_ST :: Fun Word8 Int -> [PeerSharingAmount] -> Property Source #

prop_channel_IO :: Fun Word8 Int -> [PeerSharingAmount] -> Property Source #

prop_codec :: AnyMessageAndAgency (PeerSharing Int) -> Bool Source #

prop_codec_cbor :: AnyMessageAndAgency (PeerSharing Int) -> Bool Source #

prop_codec_valid_cbor :: AnyMessageAndAgency (PeerSharing Int) -> Property Source #

prop_codec_splits2 :: AnyMessageAndAgency (PeerSharing Int) -> Bool Source #

Check for data chunk boundary problems in the codec using 2 chunks.

prop_codec_splits3 :: AnyMessageAndAgency (PeerSharing Int) -> Bool Source #

Check for data chunk boundary problems in the codec using 3 chunks.

prop_byteLimits :: AnyMessageAndAgency (PeerSharing Int) -> Bool Source #

Orphan instances