Skip to content

Instantly share code, notes, and snippets.

@dtchepak

dtchepak/a.fs

Created September 25, 2015 05:08
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dtchepak/7fc69a90f80d16e1c327 to your computer and use it in GitHub Desktop.
Save dtchepak/7fc69a90f80d16e1c327 to your computer and use it in GitHub Desktop.
Download ZIP
FsCheck: Replaying a particular seed
Raw
a.fs
// Based on example from http://fsharpforfunandprofit.com/posts/property-based-testing/
[<Test>]
let repro() =
let seed = (771943725,296061824) // seed reported by failed FsCheck output
let config = {
Config.QuickThrowOnFailure with
Replay = Random.StdGen seed |> Some
}
Check.One (config, prop)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment