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

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



Now that I've run more tests...

I didn't notice "weird parens" or pretty-printing issues with tests #0, #2, #3,
#6, or #7 --- so #1 seems to be the exception rather than the rule.

(I didn't run tests #4 and #5, because they require Frama-C and KCC,
respectively.)

-- 
-------------------------------------------------------------------------------
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