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

_______________________________________________
splint-discuss mailing list
splint-discuss@ares...
http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss