Kyle Hegeman

ok. I also think it should be False by default, but I didn't want to introduce a breaking change for any existing tests so I defaulted to the existing behavior.

I am still learning woke. Found this decorator in the docs today for snapshot and revert, adding this to an invariant does the same thing as my code change. In...

For a more extensive example of how this can be used, I just uploaded a project I am working on that uses this technique [flow](https://github.com/khegeman/fuzz-beedle/blob/main/tests/fuzz/beedle_flow.py) [strategies](https://github.com/khegeman/fuzz-beedle/blob/main/tests/fuzz/strategies.py)

> Hi @khegeman, there is a possibility that Anvil crashes or generating the debug trace log takes longer than the timeout set in Woke. > > To debug the issue,...