Re: [creduce-dev] Nits in Test Reduction @ 9b0d493

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

> void fn1() {
>   a << 0;
> }

I hear you but these days clang-format puts that kind of function on a 
single line.  We can provide it with a different style preference if we 
want, of course.

John