diff --git a/ouroboros-consensus/ouroboros-consensus-mock/test/Test/ThreadNet/BFT.hs b/ouroboros-consensus/ouroboros-consensus-mock/test/Test/ThreadNet/BFT.hs
index 39f0742c9bd..4e03c05c713 100644
--- a/ouroboros-consensus/ouroboros-consensus-mock/test/Test/ThreadNet/BFT.hs
+++ b/ouroboros-consensus/ouroboros-consensus-mock/test/Test/ThreadNet/BFT.hs
@@ -22,11 +22,10 @@ import           Test.Util.Orphans.Arbitrary ()
 
 tests :: TestTree
 tests = testGroup "BFT" [
-      testProperty "simple convergence" $
-        prop_simple_bft_convergence k
+      testProperty "simple convergence" $ \tc ->
+        forAll (SecurityParam <$> elements [2 .. 10]) $ \k ->
+        prop_simple_bft_convergence k tc
     ]
-  where
-    k = SecurityParam 5
 
 prop_simple_bft_convergence :: SecurityParam
                             -> TestConfig