server-test: disabled prop_multinode_pruning_Sim

See #3456
IntersectMBO · Nov 5, 2021 · 146484a · 146484a
1 parent a12910a
commit 146484a
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/ouroboros-network-framework/test/Test/Ouroboros/Network/Server2.hs b/ouroboros-network-framework/test/Test/Ouroboros/Network/Server2.hs
@@ -20,6 +20,8 @@
 
 -- for 'debugTracer'
 {-# OPTIONS_GHC -Wno-redundant-constraints #-}
+-- should be reverted once, `prop_multinode_pruning_Sim` is fixed.
+{-# OPTIONS_GHC -Wno-unused-top-binds #-}
 
 module Test.Ouroboros.Network.Server2
  ( tests
@@ -118,8 +120,8 @@ tests =
  , testProperty "unidirectional_Sim" prop_unidirectional_Sim
  , testProperty "bidirectional_IO" prop_bidirectional_IO
  , testProperty "bidirectional_Sim" prop_bidirectional_Sim
- , testProperty "multinode_pruning_Sim"
- prop_multinode_pruning_Sim
+ -- , testProperty "multinode_pruning_Sim"
+ --  prop_multinode_pruning_Sim
  , testProperty "hardlimit_Sim"
  prop_hardlimit_Sim
  , testProperty "multinode_Sim" prop_multinode_Sim