* It would be nice if there was an option to obfuscate the names.
Jan, if it is the case that you would like C-Reduce to output (potentially) non-proprietary code even when its input is proprietary, could you discuss this in more detail? Basically, under what circumstances would your organization permit a piece of code derived from proprietary code to be included in a bug report?
I have a hypothesis that many compiler bugs are going unreported because they are triggered by proprietary inputs...
John
