Re: [creduce-dev] multifile creduce

[John Regehr <regehr@cs.utah.edu>]

Since there's a bit of interest in multifile reduction, I thought I'd 
share my remaining plans:

- add a pass for removing comments en masse (they currently get removed 
slowly and badly by lexical-minded passes); probably this wants to be 
done after the line-based passes first run?

- attempt to delete files that reach zero bytes

- attempt to remove #ifdef / #endif pairs, probably by calling this 
tool: https://github.com/BR903/cppp

- attempt to resolve #include directives by including the file -- often 
a multifile reduction has a lot of #includes but only 1 or 2 are 
necessary to trigger the bug

- when #define X Y is seen, look for X tokens later in the file and 
attempt to replace them with Y

- in sanitize mode, rename files at the end of reduction

John