please find attached some bug files found with 2.4.0 on i686-linux-gnu. Matthias
Attachment: creduce-bugs.tar.xz Description: application/xz