[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-bugs] waste of time in pass_lines for #include

Actually we had considered bundling topformflat along with C-Reduce -- this might produce a good excuse for doing that. Marc, if you happen to patch topformflat, please pass it along.


On 1/3/15, 11:24 AM, John Regehr wrote:
Hi Marc, it looks like this is happening in topformflat, a utility that
C-Reduce relies upon, but that is not part of our code.  I'm not sure
what is the best workaround-- perhaps just a tiny hack to your local
copy of topformflat?


On 1/3/15, 6:30 AM, Marc Glisse wrote:

I am reducing a C++ file that still has a few #include (on purpose). I
noticed that every pass_lines pass inserts an empty line before each
#include. Those obviously get removed, but doing it again and again
wastes a lot of time for my example. If it isn't too complicated, it
would be nice to avoid this unnecessary whitespace addition.