-*- mode: Text -*-
Csmith --- a random generator of C programs
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr
{jxyang,chenyang,eeide,regehr}@cs.utah.edu
University of Utah School of Computing
http://www.cs.utah.edu/
Please send bug reports and fixes to <csmith-bugs@flux.utah.edu>.
There is a mailing list, <csmith-dev@flux.utah.edu>, for discussing Csmith.
Visit <http://www.flux.utah.edu/mailman/listinfo/csmith-dev> to subscribe.
To post messages to the list, you must first subscribe to the list.
Most Csmith info can be found here:
http://embed.cs.utah.edu/csmith/