[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