GitHub - sylvestre/creduce: C-Reduce, a C program reducer

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 754 Commits
autoconf		autoconf
clang_delta		clang_delta
creduce		creduce
m4		m4
scripts		scripts
tests		tests
.gitattributes		.gitattributes
.gitignore		.gitignore
AUTHORS		AUTHORS
COPYING		COPYING
ChangeLog		ChangeLog
INSTALL		INSTALL
Makefile.am		Makefile.am
Makefile.in		Makefile.in
NEWS		NEWS
README		README
TODO		TODO
aclocal.m4		aclocal.m4
bootstrap		bootstrap
config.h.in		config.h.in
configure		configure
configure.ac		configure.ac
git-hash.sh		git-hash.sh
version.m4		version.m4

Repository files navigation

-*- mode: Text -*-

--------------------------------------------------------------------
C-Reduce 
--------------------------------------------------------------------

C-Reduce is a tool takes a large C program that has a property of
interest (such as triggering a compiler bug) and automatically
produces a much smaller C program that has the same property. It is
intended for use by people who discover and report bugs in C compilers
and other tools that process C code.

Documentation and other information can be found at the C-Reduce web
page:

  http://embed.cs.utah.edu/creduce/

--------------------------------------------------------------------

Installation:

see the file INSTALL

--------------------------------------------------------------------