Thanks for that hint. DustMite looks promising.
I will try to file a report.

Stephan

On Tuesday, 22 January 2013 at 18:28:08 UTC, Jonathan M Davis wrote:
On Tuesday, January 22, 2013 19:21:33 Stephan wrote:
Unfortunately, in my case the code crashed in a position late in
some iteration loop, so I can't easily reproduce it in a simple
program to file a bug report.

DustMite might be able to help you reduce your code to a simpler program which
also has the failure:

https://github.com/CyberShadow/DustMite

- Jonathan M davis

Reply via email to