Revert "Merge #2378"

This reverts commit c12c9cd, reversing changes made to fc54848.
IntersectMBO · Jul 10, 2020 · cd44958 · cd44958
1 parent a49b29a
commit cd44958
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/ouroboros-consensus-shelley-test/test/Test/ThreadNet/RealTPraos.hs b/ouroboros-consensus-shelley-test/test/Test/ThreadNet/RealTPraos.hs
@@ -56,7 +56,7 @@ data TestSetup = TestSetup
 
 instance Arbitrary TestSetup where
   arbitrary = do
-    setupD <- (/10)         <$> choose   (0, 10)
+    setupD <- (/10)         <$> choose   (1, 10)
     setupK <- SecurityParam <$> elements [5, 10]
 
     setupTestConfig <- arbitrary
@@ -74,8 +74,7 @@ instance Arbitrary TestSetup where
 
 tests :: TestTree
 tests = testGroup "RealTPraos"
-    [ adjustOption (\(QuickCheckTests n) -> QuickCheckTests $ n `div` 5) $
-      testProperty "simple convergence" $ \setup ->
+    [ testProperty "simple convergence" $ withMaxSuccess 20 $ \setup ->
         prop_simple_real_tpraos_convergence setup
     ]