--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on November 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Impact analysis: option/pragma and sub-code



Hello Dillon,

> It seems that
> 
> -impact-pragma f1,...,fn : ...
>        ...
>        //@slice pragma stmt; : impact of the next statement
> 
> should be replaced by:
> 
> -impact-pragma f1,...,fn : ...
>        ...
>        //@impact pragma stmt; : impact of the next statement

> Is it right?

Yes it is. Fixed in the current CVS.

> Current release of Impact Analysis provides us with "impacted" Statement 
> Ids as standard output.
> Is it possible to get a compilable code instead (in batch mode)? Or 
> maybe is it in your future objectives?

It is in my todo-list but without any planned agenda at this day.

Many thanks for your report and your interest for the impact analysis,
Julien