-- 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: