--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on November 2008 ---
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