Added CM & IG Timeout enforced tests

IntersectMBO · Apr 21, 2022 · 21b194f · 21b194f
1 parent a7f077c
commit 21b194f
Show file tree

Hide file tree

Showing 2 changed files with 318 additions and 9 deletions.
diff --git a/ouroboros-network-framework/test/Test/Ouroboros/Network/Server2.hs b/ouroboros-network-framework/test/Test/Ouroboros/Network/Server2.hs
@@ -2285,14 +2285,11 @@ prop_timeouts_enforced serverAcc (ArbDataFlow dataFlow)
     verifyTimeouts st@(Just (state, t')) ((t, TransitionTrace _ tt@(Transition _ to)):xs) =
         let newState  = Just (to, t)
             idleTimeout  =
-                tProtocolIdleTimeout simTimeouts
-              + (0.1 * tProtocolIdleTimeout simTimeouts)
+                1.1 * tProtocolIdleTimeout simTimeouts
             outboundTimeout =
-                tOutboundIdleTimeout simTimeouts
-              + (0.1 * tOutboundIdleTimeout simTimeouts)
+                1.1 * tOutboundIdleTimeout simTimeouts
             timeWaitTimeout =
-                tTimeWaitTimeout simTimeouts
-              + (0.1 * tTimeWaitTimeout simTimeouts)
+                1.1 * tTimeWaitTimeout simTimeouts
             handshakeTimeout = case timeLimitsHandshake of
               (ProtocolTimeLimits stLimit) ->
                 -- Should be the same but we bias to the shorter one