It&#x27;s pretty easy to do this sort of thing in Hypothesis. You can also use [the support for stateful testing directly](<a href="http:&#x2F;&#x2F;hypothesis.readthedocs.org&#x2F;en&#x2F;latest&#x2F;stateful.html" rel="nofollow">http:&#x2F;&#x2F;hypothesis.readthedocs.org&#x2F;en&#x2F;latest&#x2F;stateful.html</a>). I find there&#x27;s still a place for more granular tests that look more like your classic property based tests with a bit more imperative state floating around though.