--- layout: fc_discuss_archives title: Message 53 from Frama-C-discuss on March 2009 ---
> My colleagues may not have picked up the fact that you seemed > to be relying on numbering conventions for the Pdg nodes > to get what you wanted. If they had, I am sure that they would > have advised against doing this. This is very true ! I am sorry, but I don't have time to give a better answer today. I'll have a closer look to your problem tomorrow morning, and I hope to be able to help you more then. Bye. -- Anne.