Hi Michael, Thanks for reporting the issues!
I can't reproduce the crashes with the Git head on either Linux or Mac. Perhaps they have been fixed in between the version that you used and the current head version.
- Yang On 01/03/2016 12:25 PM, Michael Schwarz wrote:
Hi As requested by creduce, here is a bunch of bug reports generated while reducing a piece of C++ code. Greets Michael
