From 1a823a87478ad6b569db594a206a09c4b2ab4447 Mon Sep 17 00:00:00 2001 From: Marcin Szamotulski Date: Fri, 20 Oct 2023 17:32:33 +0200 Subject: [PATCH] server-tests: prop_inbound_governor_valid_transition_order Improved memory footprint (from 21MB to 8MB). --- .../sim-tests/Test/Ouroboros/Network/Server2/Sim.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/ouroboros-network-framework/sim-tests/Test/Ouroboros/Network/Server2/Sim.hs b/ouroboros-network-framework/sim-tests/Test/Ouroboros/Network/Server2/Sim.hs index 326c6fe4f57..2fd37674a56 100644 --- a/ouroboros-network-framework/sim-tests/Test/Ouroboros/Network/Server2/Sim.hs +++ b/ouroboros-network-framework/sim-tests/Test/Ouroboros/Network/Server2/Sim.hs @@ -1650,11 +1650,11 @@ prop_inbound_governor_valid_transition_order serverAcc (ArbDataFlow dataFlow) remoteTransitionTraceEvents :: Trace (SimResult ()) (RemoteTransitionTrace SimAddr) remoteTransitionTraceEvents = traceWithNameTraceEvents trace - inboundGovernorEvents :: Trace (SimResult ()) (InboundGovernorTrace SimAddr) - inboundGovernorEvents = traceWithNameTraceEvents trace + -- inboundGovernorEvents :: Trace (SimResult ()) (InboundGovernorTrace SimAddr) + -- inboundGovernorEvents = traceWithNameTraceEvents trace in tabulate "ConnectionEvents" (map showConnectionEvents events) - . counterexample (Trace.ppTrace show show inboundGovernorEvents) + -- . counterexample (Trace.ppTrace show show inboundGovernorEvents) . counterexample (ppScript mns) . counterexample (Trace.ppTrace show show remoteTransitionTraceEvents) . getAllProperty