Decrease number of simulated hours tests run

IntersectMBO · Nov 10, 2023 · 3774a87 · 3774a87
1 parent fd160bf
commit 3774a87
Showing 1 changed file with 24 additions and 24 deletions.
diff --git a/ouroboros-network/sim-tests-lib/Test/Ouroboros/Network/PeerSelection.hs b/ouroboros-network/sim-tests-lib/Test/Ouroboros/Network/PeerSelection.hs
@@ -580,7 +580,7 @@ envEventCredits  TraceEnvCloseConn {}           = 0
 prop_governor_events_coverage :: GovernorMockEnvironment -> Property
 prop_governor_events_coverage env =
     let trace = Signal.eventsToList
-              . Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+              . Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
               . selectPeerSelectionTraceEvents
               . runGovernorInMockEnvironment
               $ env
@@ -847,7 +847,7 @@ check_governor_connstatus _ trace0 =
 --
 prop_governor_target_root_below :: GovernorMockEnvironment -> Property
 prop_governor_target_root_below env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -911,7 +911,7 @@ prop_governor_target_root_below env =
 --
 prop_governor_target_established_public :: GovernorMockEnvironment -> Property
 prop_governor_target_established_public env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -968,7 +968,7 @@ prop_governor_target_established_big_ledger_peers
     :: GovernorMockEnvironment
     -> Property
 prop_governor_target_established_big_ledger_peers env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -1023,7 +1023,7 @@ prop_governor_target_established_big_ledger_peers env =
 --
 prop_governor_target_active_public :: GovernorMockEnvironment -> Property
 prop_governor_target_active_public env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -1218,7 +1218,7 @@ prop_governor_target_known_big_ledger_peers_below env =
 prop_governor_target_known_1_valid_subset :: GovernorMockEnvironment
                                           -> Property
 prop_governor_target_known_1_valid_subset env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -1287,7 +1287,7 @@ prop_governor_target_known_2_opportunity_taken :: GovernorMockEnvironment
                                                -> Property
 prop_governor_target_known_2_opportunity_taken env =
 
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -1415,7 +1415,7 @@ governorEventuallyTakesPeerShareOpportunities peerSharing =
 prop_governor_target_known_3_not_too_chatty :: GovernorMockEnvironment
                                             -> Property
 prop_governor_target_known_3_not_too_chatty env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -1623,7 +1623,7 @@ recentPeerShareActivity d =
 --
 prop_governor_target_known_4_results_used :: GovernorMockEnvironment -> Property
 prop_governor_target_known_4_results_used env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -1697,7 +1697,7 @@ prop_governor_target_known_4_results_used env =
 --
 prop_governor_target_known_5_no_shrink_below :: GovernorMockEnvironment -> Property
 prop_governor_target_known_5_no_shrink_below env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -1761,7 +1761,7 @@ prop_governor_target_known_5_no_shrink_below env =
 --
 prop_governor_target_known_5_no_shrink_big_ledger_peers_below :: GovernorMockEnvironment -> Property
 prop_governor_target_known_5_no_shrink_big_ledger_peers_below env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -1836,7 +1836,7 @@ prop_governor_target_known_5_no_shrink_big_ledger_peers_below env =
 --
 prop_governor_target_known_above :: GovernorMockEnvironment -> Property
 prop_governor_target_known_above env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -1903,7 +1903,7 @@ prop_governor_target_known_above env =
 prop_governor_target_known_big_ledger_peers_above
     :: GovernorMockEnvironment -> Property
 prop_governor_target_known_big_ledger_peers_above env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -1993,7 +1993,7 @@ prop_governor_target_known_big_ledger_peers_above env =
 --
 prop_governor_target_established_below :: GovernorMockEnvironment -> Property
 prop_governor_target_established_below env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -2079,7 +2079,7 @@ prop_governor_target_established_below env =
 prop_governor_target_established_big_ledger_peers_below
     :: GovernorMockEnvironment -> Property
 prop_governor_target_established_big_ledger_peers_below env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -2164,7 +2164,7 @@ prop_governor_target_established_big_ledger_peers_below env =
 
 prop_governor_target_active_below :: GovernorMockEnvironment -> Property
 prop_governor_target_active_below env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -2266,7 +2266,7 @@ prop_governor_target_active_below env =
 prop_governor_target_active_big_ledger_peers_below
     :: GovernorMockEnvironment -> Property
 prop_governor_target_active_big_ledger_peers_below env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -2337,7 +2337,7 @@ prop_governor_target_active_big_ledger_peers_below env =
 
 prop_governor_target_established_above :: GovernorMockEnvironment -> Property
 prop_governor_target_established_above env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -2395,7 +2395,7 @@ prop_governor_target_established_above env =
 prop_governor_target_established_big_ledger_peers_above
     :: GovernorMockEnvironment -> Property
 prop_governor_target_established_big_ledger_peers_above env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -2442,7 +2442,7 @@ prop_governor_target_established_big_ledger_peers_above env =
 
 prop_governor_target_active_above :: GovernorMockEnvironment -> Property
 prop_governor_target_active_above env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -2488,7 +2488,7 @@ prop_governor_target_active_above env =
 prop_governor_target_active_big_ledger_peers_above
     :: GovernorMockEnvironment -> Property
 prop_governor_target_active_big_ledger_peers_above env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -2537,7 +2537,7 @@ prop_governor_target_active_big_ledger_peers_above env =
 --
 prop_governor_target_established_local :: GovernorMockEnvironment -> Property
 prop_governor_target_established_local env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -2626,7 +2626,7 @@ prop_governor_target_established_local env =
 --
 prop_governor_target_active_local_below :: GovernorMockEnvironment -> Property
 prop_governor_target_active_local_below env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env
@@ -2705,7 +2705,7 @@ prop_governor_target_active_local_below env =
 
 prop_governor_target_active_local_above :: GovernorMockEnvironment -> Property
 prop_governor_target_active_local_above env =
-    let events = Signal.eventsFromListUpToTime (Time (10 * 60 * 60))
+    let events = Signal.eventsFromListUpToTime (Time (5 * 60 * 60))
                . selectPeerSelectionTraceEvents
                . runGovernorInMockEnvironment
                $ env