Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
25 lines (16 sloc) 764 Bytes
-*- 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
--------------------------------------------------------------------
Jump to Line
Something went wrong with that request. Please try again.