Skip to content

Commit

Permalink
Remove commented out code in test
Browse files Browse the repository at this point in the history
  • Loading branch information
TysonMN committed Dec 8, 2021
1 parent 864be65 commit 0c02671
Showing 1 changed file with 0 additions and 12 deletions.
12 changes: 0 additions & 12 deletions tests/Hedgehog.Tests/PropertyTests.fs
Original file line number Diff line number Diff line change
Expand Up @@ -74,18 +74,6 @@ let propertyTests = testList "Property tests" [
return i =! 0
}

//// Directly check the property and inspect test failure message
//Property.check prop

//// Copy the code from that message here
//let shrinkPath =
// "100"
// |> Seq.collect (function '0' -> [ShrinkOutcome.Fail] | '1' -> [ShrinkOutcome.Pass] | _ -> [])
// |> Seq.toList
//prop
//|> Property.reportOptimizedRecheckWith 0 ({ Value = 16901190045502811825UL; Gamma = 18093357191585577079UL }) shrinkPath PropertyConfig.defaultConfig
//|> Report.tryRaise

let report1 = Property.report prop
match report1.Status with
| OK -> failwith "Initial report should be Failed, not OK"
Expand Down

0 comments on commit 0c02671

Please sign in to comment.