From 3774a87c2b5e1e87c7e69a97432620db2fe63dae Mon Sep 17 00:00:00 2001 From: Armando Santos Date: Fri, 10 Nov 2023 19:36:54 +0000 Subject: [PATCH] Decrease number of simulated hours tests run --- .../Test/Ouroboros/Network/PeerSelection.hs | 48 +++++++++---------- 1 file changed, 24 insertions(+), 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 index f7183b7f201..f2e947628be 100644 --- 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