Hi Micah, Thanks for the bug report!I can't reproduce the crash with the master branch. Perhaps it was fixed after C-Reduce 2.4 release.
- Yang On 2016-03-15 08:41, Micah Villmow wrote:
To creduce developers. Thanks for creating a great tool! Here is a bug report. This is with clang 3.8, creduce 2.4,