client-server test of network simulation environment

Run a ping pong implmeneted with `ReqResp` mini-protocol
IntersectMBO · Jun 14, 2021 · 6936ccb · 6936ccb
1 parent dc460d7
commit 6936ccb
Show file tree

Hide file tree

Showing 3 changed files with 630 additions and 0 deletions.
diff --git a/ouroboros-network-framework/ouroboros-network-framework.cabal b/ouroboros-network-framework/ouroboros-network-framework.cabal
@@ -129,6 +129,7 @@ test-suite test
                        Test.Ouroboros.Network.Socket
                        Test.Ouroboros.Network.Subscription
                        Test.Ouroboros.Network.RateLimiting
+                       Test.Ouroboros.Network.IOSim
 
   build-depends:       base
                      , bytestring
@@ -144,6 +145,7 @@ test-suite test
                      , quiet
 
                      , QuickCheck
+                     , quickcheck-instances
                      , tasty
                      , tasty-quickcheck
 

diff --git a/ouroboros-network-framework/test/Main.hs b/ouroboros-network-framework/test/Main.hs
@@ -7,6 +7,7 @@ import qualified Test.Network.TypedProtocol.PingPong.Codec as PingPong
 import qualified Test.Network.TypedProtocol.ReqResp.Codec as ReqResp
 import qualified Test.Ouroboros.Network.ConnectionManager as ConnectionManager
 import qualified Test.Ouroboros.Network.Driver as Driver
+import qualified Test.Ouroboros.Network.IOSim as IOSim
 import qualified Test.Ouroboros.Network.Server2 as Server2
 import qualified Test.Ouroboros.Network.Socket as Socket
 import qualified Test.Ouroboros.Network.Subscription as Subscription
@@ -27,6 +28,7 @@ tests =
   , Subscription.tests
   , RateLimiting.tests
   , Synchronisation.tests
+  , IOSim.tests
   ]