On Fri, May 22, 2020 at 10:56 PM Francesco Abbate <francesco.bbt@xxxxxxxxx>
wrote:
It's a good tip, I'll see if I can get it running.
I was wondering if the rr debugger, here the page
https://rr-project.org/, could help. You could always run you
application with rr and once the bug happens you have a deterministic
image that you can replay and debug the image as you want.
Francesco