Refactor TxSubmission files and added V2 sim

- Factors out common type definitions and their generators and properties to a Common.hs file. - Adds a TxSubmissionV2 file with the boilerplate to run the new, more accurate submission that uses the V2 version of TxSubmission protocol
IntersectMBO · Aug 12, 2024 · 224bd29 · 224bd29
1 parent 992a7de
commit 224bd29
Show file tree

Hide file tree

Showing 9 changed files with 2,595 additions and 2,268 deletions.
diff --git a/ouroboros-network/ouroboros-network.cabal b/ouroboros-network/ouroboros-network.cabal
@@ -214,6 +214,7 @@ library sim-tests-lib
                        ouroboros-network-testing ^>= 0.6.0,
                        si-timers,
                        strict-stm,
+                       strict-mvar,
                        typed-protocols,
                        typed-protocols-examples,
   exposed-modules:     Ouroboros.Network.BlockFetch.Examples
@@ -245,6 +246,9 @@ library sim-tests-lib
                        Test.Ouroboros.Network.Testnet
                        Test.Ouroboros.Network.Testnet.Simulation.Node
                        Test.Ouroboros.Network.TxSubmission
+                       Test.Ouroboros.Network.TxSubmission.Common
+                       Test.Ouroboros.Network.TxSubmission.TxSubmissionV1
+                       Test.Ouroboros.Network.TxSubmission.TxSubmissionV2
                        Test.Ouroboros.Network.Version
 
   ghc-options:         -Wall