[splint-discuss] Preprocessor output?

[David Evans]

Hi Mark,

Mark Glines wrote:
 > It would be very helpful to get access to the preprocessed source that
 > splint is actually trying to parse.  Is there a command line option
 > which convinces splint to output its preprocessor output to stdout, or
 > stderr or a log file or something?

If you use the -keep option, splint will keep the temporary 
(post-pre-processor) files and print out a list of their file names at 
the end of the run.

--- Dave