[csmith-dev] disable 8-bit integer types

John Regehr regehr at cs.utah.edu
Mon Jun 24 08:25:17 MDT 2013


> Just one more favor, though. If I should need to hand-write some tests,
> I'd prefer to use same self-checking (checksum)mechanism employed by
> Csmith's generated tests. Could you please point me to some sources for
> more implementation details?

Hi Tuyen,

The code we're talking about is very simple, just take a look in the 
csmith/runtime directory.  I doubt you'll have trouble modifying it.

John




More information about the csmith-dev mailing list