Fixed. Thanks, Markus! - Yang On 2016-01-24 02:45, Markus Trippelsdorf wrote:
The tarball contains a number bugs where creduce hits LLVM assertion failures. I'm running latest creduce and LLVM trunk. Thanks in advance.