Hi Jonas, Thanks for reporting the bug.
I can't repro the crash with the Git head. Perhaps it has been fixed by the recent commit 6b71ee2, where we made clang_delta rewrite only the main source file.
- Yang On 10/20/2015 06:06 AM, Jonas H. wrote:
creduce 2.4.0
