[csmith-dev] Alignment of struct members cause target dependent checksum

[John Regehr]

Hi Kees, I'm glad our tools are helpful at least sometimes :).

> Analyzing bugs in Csmith programs can be time consuming. And Creduce
> isn't always
> helpful.

Over at the C-Reduce mailing list, we would very much appreciate seeing 
some examples where that tool is not going a good job.

In fact I'll be working on C-Reduce this morning, after I finish writing 
emails!

John