--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on October 2011 ---
On 05/10/2011 17:00, DUPRAT Stephane wrote: >> Yes, FILTER will be applied to the main command stdout and stderr. The >> command should read from stdin and output its result on stdout. > And what about a file (not stdout nor stderr) produced by a frama-c run that we want to postprocess ? > Well, I'm afraid there's nothing in ptests for that. In addition, if it's not on stdout or stderr, it doesn't exist as far as ptests is concerned, The only exceptions are the log files of EXECNOW, but then it's up to the command of EXECNOW to filter its output as needed. Best regards, -- E tutto per oggi, a la prossima volta Virgile