Hello, Thanks for your awesome program! I met those bugs while trying to reduce testcase for rust-bindgen tool. Attaching logs, original testcase and predicate script. Merry Christmas for those who care and best regards, Anton Kochkov.
Attachment:
creduce-bugs.zip
Description: Zip archive