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

[Eric Eide <eeide@cs.utah.edu>]

John Regehr <regehr@cs.utah.edu> writes:

> The parens are weird, I'll look into it.
>
> This example looks pretty-printed to me, is there something unpretty about it?

No: I agree that it's not "unpretty," but it is unlike the style of most of the
other outputs I get.  I would have expected something more like

void fn1() {
  a << 0;
}

for example.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX