GitHub - gnuvan/csmith: Csmith, a random generator of C programs

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 698 Commits
autoconf		autoconf
doc		doc
driver		driver
runtime		runtime
scripts		scripts
src		src
tamer		tamer
utah		utah
.gitattributes		.gitattributes
.gitignore		.gitignore
AUTHORS		AUTHORS
BUGS_REPORTED.TXT		BUGS_REPORTED.TXT
COPYING		COPYING
ChangeLog		ChangeLog
INSTALL		INSTALL
Makefile.am		Makefile.am
Makefile.in		Makefile.in
NEWS		NEWS
README		README
TODO		TODO
acinclude.m4		acinclude.m4
aclocal.m4		aclocal.m4
bootstrap		bootstrap
configure		configure
configure.ac		configure.ac
git-hash.sh		git-hash.sh
version.m4		version.m4

Repository files navigation

-*- 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/