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