[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