Skip to content

Commit

Permalink
Simplify optimized recheck test
Browse files Browse the repository at this point in the history
  • Loading branch information
TysonMN committed Jul 23, 2022
1 parent 36b06f0 commit 03c7125
Showing 1 changed file with 1 addition and 5 deletions.
6 changes: 1 addition & 5 deletions tests/Hedgehog.Tests/PropertyTests.fs
Original file line number Diff line number Diff line change
Expand Up @@ -81,13 +81,9 @@ let propertyTests = testList "Property tests" [
| GaveUp -> failwith "Initial report should be Failed, not GaveUp"
| Failed failure1 ->
count <- 0
let recheckData =
match failure1.RecheckInfo with
| Some { Data = recheckData } -> recheckData
| _ -> failwith "Impossible since this is a an F# test"
let report2 =
Property.reportRecheck
(RecheckData.serialize recheckData)
(RecheckData.serialize failure1.RecheckInfo.Value.Data)
prop
match report2.Status with
| OK -> failwith "Recheck report should be Failed, not OK"
Expand Down

0 comments on commit 03c7125

Please sign in to comment.