--- layout: fc_discuss_archives title: Message 53 from Frama-C-discuss on March 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Getting a node from its id for a particular pdg



> 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.