RECENT POSTS

Creduce

May 26, 2018

Produces small test cases

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

WWW https//embed.cs.utah.edu/creduce/