As you can see it's not so useful, in particular because Erlang hid the arguments here. So I have no way of knowing what the input was and how to reproduce.
I would like to send a proper fix for this, but in the meantime I added an io:format in the right place. Please advise on what you would like the fix to look like.
Hello,
when the property crashes, we end up with an output similar to this:
As you can see it's not so useful, in particular because Erlang hid the arguments here. So I have no way of knowing what the input was and how to reproduce.
I would like to send a proper fix for this, but in the meantime I added an io:format in the right place. Please advise on what you would like the fix to look like.