Skip to content

Commit 03c7125

Browse files
committed
Simplify optimized recheck test
1 parent 36b06f0 commit 03c7125

File tree

1 file changed

+1
-5
lines changed

1 file changed

+1
-5
lines changed

tests/Hedgehog.Tests/PropertyTests.fs

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -81,13 +81,9 @@ let propertyTests = testList "Property tests" [
8181
| GaveUp -> failwith "Initial report should be Failed, not GaveUp"
8282
| Failed failure1 ->
8383
count <- 0
84-
let recheckData =
85-
match failure1.RecheckInfo with
86-
| Some { Data = recheckData } -> recheckData
87-
| _ -> failwith "Impossible since this is a an F# test"
8884
let report2 =
8985
Property.reportRecheck
90-
(RecheckData.serialize recheckData)
86+
(RecheckData.serialize failure1.RecheckInfo.Value.Data)
9187
prop
9288
match report2.Status with
9389
| OK -> failwith "Recheck report should be Failed, not OK"

0 commit comments

Comments
 (0)