server-tests: prop_inbound_governor_valid_transition_order

Improved memory footprint (from 21MB to 8MB).
IntersectMBO · Oct 20, 2023 · 1a823a8 · 1a823a8
1 parent 651ae82
commit 1a823a8
Showing 1 changed file with 3 additions and 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
@@ -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