test-consensus: update Ref.RealPBFT for change to PBFT.exceedsThreshold

IntersectMBO · Jan 21, 2020 · b1c7843 · b1c7843
1 parent be7d868
commit b1c7843
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/ouroboros-consensus/test-consensus/Test/ThreadNet/Ref/RealPBFT.hs b/ouroboros-consensus/test-consensus/Test/ThreadNet/Ref/RealPBFT.hs
@@ -142,12 +142,8 @@ extendOutcome params State{forgers, nomCount, nextSlot, outs} out = State
 --
 tooMany :: PBftParams -> State -> Bool
 tooMany params st@State{forgers} =
-    not $
-    Seq.length forgers < k || count i forgers <= pbftLimit params
+    count i forgers > pbftLimit params
   where
-    k :: forall a. Num a => a
-    k = oneK params
-
     i = nextLeader params st
 
 -- | How many blocks in the latest @k@-blocks that a single core node is