Skip to content

Commit

Permalink
Fix "insufficient coverage" message
Browse files Browse the repository at this point in the history
- Fix a typo
- Remove redundant `TestCount`
  • Loading branch information
sol committed May 3, 2024
1 parent c89ffd3 commit 52e3309
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 2 deletions.
6 changes: 5 additions & 1 deletion hedgehog/src/Hedgehog/Internal/Property.hs
Original file line number Diff line number Diff line change
Expand Up @@ -306,7 +306,11 @@ newtype TestLimit =
--
newtype TestCount =
TestCount Int
deriving (Eq, Ord, Show, Num, Enum, Real, Integral, Lift)
deriving (Eq, Ord, Num, Enum, Real, Integral, Lift)

instance Show TestCount where
showsPrec p (TestCount n) =
showsPrec p n

-- | The number of tests a property had to discard.
--
Expand Down
2 changes: 1 addition & 1 deletion hedgehog/src/Hedgehog/Internal/Runner.hs
Original file line number Diff line number Diff line change
Expand Up @@ -323,7 +323,7 @@ checkReport cfg size0 seed0 test0 updateUI = do
successReport
else
failureReport $
"Labels not sufficently covered after " <> show tests <> " tests"
"Labels not sufficiently covered after " <> show tests <> " tests"

else if discards >= fromIntegral (propertyDiscardLimit cfg) then
-- we've hit the discard limit, give up
Expand Down

0 comments on commit 52e3309

Please sign in to comment.