--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on April 2014 ---
Hi all! I have some question when using a Frama-c program in old version. It used the function varinfo_from_vid () to get varinfo. In the change log I saw that it has been removed and can use maps or hash tables indexed by varinfo to get it. I am not quite understand since I am new to cil and frama-c. Does it mean that I need to keep a (vid,varinfo) hashtable by myself and pass it to every function that has used variunfo_from_vid()? Or there are other ways to do that. If some one has example or advice, I would be really appreciated. Thank you so much!! -- Kind regards, Qi Alfred Chen PhD Student, Department of Electrical Engineering and Computer Science, University of Michigan - Ann Arbor, 48105 Tel: 1-734-834-2916 Alt. Email: adios737 at gmail.com Homepage: www.eecs.umich.edu/~alfchen -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20140403/43fa6710/attachment.html>