"Jan" == Jan Smets <[email protected]> writes:
Jan> I have a large C file with a lot of typedefs, structure
Jan> definitions, etc, and only one 'small' C routine, which I do _not_
Jan> want to change, because a particulary code generation bug is only
Jan> triggered with that specific code.
Jan>
Jan> I would like to get rid of all the unnecessary typedefs, structure
Jan> information etc. so that I can submit a clean bug report. Is that
Jan> something C-Reduce can help me with?
Yes, that is the sort of thing the C-Reduce is designed to do.
I see that you wrote your own predicate for the reducer; good.
Jan> ===< pass_lines :: 0 >===
Jan> <stuck here forever?>
Well, it is not supposed to get stuck :-). For us to diagnose the problem, you
need to provide us with more information, e.g., the source file, the predictae
script, and the commit hash of the version of C-Reduce that you are using.
Thanks ---
Eric.
PS --- I welcome you to subscribe to the list; it is low-volume and interesting
:-).
--
-------------------------------------------------------------------------------
Eric Eide <[email protected]> . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
