tx-submission2 tests: name client & server traces
This is only useful for debugging a failing test case.
This is only useful for debugging a failing test case.
--
runInitiatorProtocols
:: forall muxMode m a b.
( MonadAsync m
, MonadCatch m
, MonadMask m
, MonadSTM m
, MonadThrow (STM m)
( MonadAsync m
, MonadLabelledSTM m
, MonadCatch m
, MonadMask m
, MonadSTM m
, MonadThrow (STM m)
, HasInitiator muxMode ~ True
, MonadSay m
)
=> SingMuxMode muxMode
-> Mux.Mux muxMode m
{-# LANGUAGE QuantifiedConstraints #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
import Control.Monad.Class.MonadThrow (MonadCatch, MonadMask, MonadThrow)
import Control.Monad.IOSim
import Control.Monad.ST (runST)
import Control.Tracer (Tracer (..), nullTracer)
import Control.Tracer (Tracer (..), contramap, nullTracer)
import Codec.Serialise (DeserialiseFailure, Serialise)
import qualified Codec.Serialise as Serialise (decode, encode)
import Network.TypedProtocol.Proofs
import Ouroboros.Network.Channel
import Ouroboros.Network.Driver.Simple (runConnectedPeers)
import Ouroboros.Network.Driver.Simple (Role (..), runConnectedPeers)
import Ouroboros.Network.Util.ShowProxy
import Ouroboros.Network.Protocol.TxSubmission2.Client
nullTracer
codec_v2
(txSubmissionServerPeerPipelined $
testServer nullTracer params)
testServer ((Server,) `contramap` nullTracer) params)
(txSubmissionClientPeer $
testClient nullTracer params)
testClient ((Client,) `contramap` nullTracer) params)
-- | Run 'prop_channel' in the simulation monad.
Docs for running SMASH against docker.
Fixup prose in configuration docs.
Co-authored-by: Ubuntu <[email protected]>
Adding Coin
XFAIL on node issue #3859