mock: let k vary in BFT tests

IntersectMBO · Feb 27, 2020 · 9100b9b · 9100b9b
1 parent 002076a
commit 9100b9b
Showing 1 changed file with 3 additions and 4 deletions.
diff --git 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