Revert "Use withNumTests and require QuickCheck >= 2.18."

This reverts commit b38743d218.
2026-08-28 17:20:47 +08:00 · 2026-08-22 09:50:06 -07:00
parent b38743d218
commit 965e9e7d0d
2 changed files with 1 additions and 2 deletions
@@ -139,7 +139,7 @@ tests = [ testGroup "base tag"
          ]
        , askOption $ \(QuickCheckTests numtests) ->
            testProperty "Round trip" $
-              withNumTests (if QuickCheckTests numtests == defaultValue
+              withMaxSuccess (if QuickCheckTests numtests == defaultValue
                                 then 25
                                 else numtests) roundTrip
        ]