Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

C-Reduce, a C program reducer

branch: master
README
-*- 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

--------------------------------------------------------------------
Something went wrong with that request. Please try again.