jsonn / creduce Goto Github PK

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

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