Consistent messaging
This commit is contained in:
parent
372c3cecba
commit
f43f064054
@ -129,8 +129,10 @@ serverSatisfies api burl args preds = do
|
|||||||
Failure {..} -> do
|
Failure {..} -> do
|
||||||
mx <- tryReadMVar deetsMVar
|
mx <- tryReadMVar deetsMVar
|
||||||
case mx of
|
case mx of
|
||||||
Just x -> expectationFailure $ "Failed:\n" ++ show x
|
Just x ->
|
||||||
Nothing -> expectationFailure $ "Failed to retrieve error. QC Failure: " <> show r
|
expectationFailure $ "Failed:\n" ++ show x
|
||||||
|
Nothing ->
|
||||||
|
expectationFailure $ "We failed to record a reason for failure: " <> show r
|
||||||
GaveUp { numTests = n } -> expectationFailure $ "Gave up after " ++ show n ++ " tests"
|
GaveUp { numTests = n } -> expectationFailure $ "Gave up after " ++ show n ++ " tests"
|
||||||
NoExpectedFailure {} -> expectationFailure $ "No expected failure"
|
NoExpectedFailure {} -> expectationFailure $ "No expected failure"
|
||||||
InsufficientCoverage {} -> expectationFailure $ "Insufficient coverage"
|
InsufficientCoverage {} -> expectationFailure $ "Insufficient coverage"
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user