Nikos Baxevanis

> According to [the video](https://www.youtube.com/watch?v=NcJOiQlzlXQ&t=2437s), it also runs more tests as needed to ensure the result is statistically significant. @cmeeren, `cover` won't run more tests; that's happening because of [`checkCoverage`](https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#v:checkCoverage)....

@cmeeren, a good example of QuickCheck's `checkCoverage` can be found in [this StackOverflow answer](https://stackoverflow.com/a/72182415) by @ploeh. I ported all properties from that answer [in Hedgehog](https://github.com/moodmosaic/coverage-check-example/blob/master/src/Test/Q72168364/Hedgehog.hs) and created a [custom test-runner](https://github.com/moodmosaic/coverage-check-example/blob/master/test/test.hs)...

Would it be possible to provide an example?

What happens when you replace `Property.checkThrows` with `Property.check`?

Oh, now I see what you mean; you *want* the exception to be thrown, and in this case, the property to pass.

@cmeeren, we recently added an internal function which does what you describe: https://github.com/hedgehogqa/fsharp-hedgehog/blob/70d445497cbba1af550ee45b07e6b85d5145f38d/src/Hedgehog/Property.fs#L382-L389 AFAICT, this function does exactly what you need. If so, we can make it public in the...

OK, then it's the opposite of that function plus pattern matching on the type of exception.

Historically, hedgehog was called *jack* :wink:. Make sure you look into @jacobstanley's [purescript-jack](https://github.com/jacobstanley/purescript-jack) in case it helps you get up to speed, but don't use it as a skeleton for...

>I was also asking how much support I could expect when making this port and what kind of support that would be. I'm not sure if there's a precise answer...

@JordanMartinez, how was the module dependency graph created?