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

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

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?

John


On 1/3/15, 6:30 AM, Marc Glisse wrote:
> Hello,
>
> 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.