The same issue as the previous one. Fixed in 813e75d. Thanks, ismail! - Yang On 09/15/2015 02:37 AM, İsmail Dönmez wrote:
Hi, Using creduce 2.3.0 on Linux x86-64 with LLVM 3.6. Files are attached. Regards, ismail