Coverage doesn't appear to be available in state machine testing.

[HuwCampbell]

cover operates on PropertyT, while the generators and commands for state machine testing are GenT and Result.

So as far as I can tell, there's nowhere to put coverage annotations.

[charleso]

@HuwCampbell Ahh bugger. It's actually not really lifted in to PropertyT until the last step either. I actually quite liked keeping Gen pure from coverage, but that does mean quite a large change to wire PropertyT back down again. :(

That said, given I don't actively work on or use this library any more my opinion doesn't actually mean anything any more. )