--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on October 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] using ptests



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