Hi, I created a small script to automatically minimize preprocessed source files. Nothing fancy, but it helped me to reduce a 250K test case to 3K. Perhaps someone will find it useful. http://pi3.informatik.uni-mannheim.de/~tneumann/maketestcase Thomas