Open
Description
Hypothesis has support for stateful testing: http://hypothesis.readthedocs.io/en/latest/stateful.html
It feels like this would be a good fit for testing the hyper-h2 state machine, and maybe more interactions betweeen multiple client/server instances, although I suspect it's probably non-trivial.