Added prop_connection_manager_timeouts_enforced

IntersectMBO · Jan 18, 2022 · 9f81df0 · 9f81df0
1 parent 0ac291d
commit 9f81df0
Show file tree

Hide file tree

Showing 3 changed files with 280 additions and 23 deletions.
diff --git a/ouroboros-network-framework/ouroboros-network-framework.cabal b/ouroboros-network-framework/ouroboros-network-framework.cabal
@@ -146,6 +146,7 @@ test-suite test
                      , quickcheck-instances
                      , tasty
                      , tasty-quickcheck
+                     , these
 
                      , cardano-prelude
                      , contra-tracer

diff --git a/ouroboros-network-framework/src/Ouroboros/Network/ConnectionManager/Types.hs b/ouroboros-network-framework/src/Ouroboros/Network/ConnectionManager/Types.hs
@@ -205,7 +205,7 @@ data DataFlow
 -- | Boolean like type which indicates if the timeout on 'OutboundStateDuplex'
 -- has expired.
 data TimeoutExpired = Expired | Ticking
-  deriving (Eq, Show)
+  deriving (Eq, Ord, Show)
 
 
 
@@ -650,7 +650,7 @@ data AbstractState
     | WaitRemoteIdleSt
     | TerminatingSt
     | TerminatedSt
-    deriving (Eq, Show, Typeable)
+    deriving (Eq, Ord, Show, Typeable)
 
 
 -- | Counters for tracing and analysis purposes