Jacob Stanley

I implemented the linearization algorithm as I understood it from reading [Finding Race Conditions in Erlang with QuickCheck and PULSE](http://www.cse.chalmers.se/~nicsma/papers/finding-race-conditions.pdf) and there was no mention of checking the actual time...

This is the [readFile](https://github.com/hedgehogqa/haskell-hedgehog/blob/4ec7254df66b5bd95369dfe92dc28dd48f7f5264/hedgehog/src/Hedgehog/Internal/Discovery.hs#L57) that is used to read the source, maybe you can try tweaking that? Also on windows the stdout/stderr encoding is explicitly set to UTF-8, are you...

This concept is inherited from QuickCheck and I haven't thought much about whether it could be made better. It does make sense to think of the size parameter as a...

> Does it make sense to make this explicit and have the `Size` type constrain its value to the valid range? Yes but it needs some thought to make sure...

I agree this is annoying, good idea. Will have to ponder a good way to do this. Discards are currently implemented using `MaybeT` so the obvious thing would be to...

This sounds interesting, so am I right in understanding that you'd like to only do the cleanup if there _isn't_ a failure?

fwiw `frequency` and its semantics are copied from [QuickCheck](https://hackage.haskell.org/package/QuickCheck-2.13.2/docs/Test-QuickCheck.html#v:frequency)

Yeah that's right, it's the value to shrink towards

Is this causing you a problem? `fail` and `semigroups` do that switch internally to make sure the right version is exported afaik

> Dancing around the problem: one can fudge a hackage badge with a version number manually with This is what i've done for now, would still like to get it...