Comment by eru

> For this use case, we've found it best to just use a fuzzer, and work off the tracebacks.

Yes, if that was the only property you want to test, a dedicated fuzzer is probably better.

But if you are writing a bunch of property based tests, you can add a basic "this doesn't crash in unexpected ways" property nearly for free.