Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Question about get varinfo from vid
- Subject: [Frama-c-discuss] Question about get varinfo from vid
- From: alfchen at umich.edu (Qi Alfred Chen)
- Date: Thu, 3 Apr 2014 00:08:32 -0400
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>
- Follow-Ups:
- [Frama-c-discuss] Question about get varinfo from vid
- From: Julien.Signoles at cea.fr (Julien Signoles)
- [Frama-c-discuss] Question about get varinfo from vid
- Prev by Date: [Frama-c-discuss] two open positions in new Joint Laboratory to develop Why3 and SPARK technologies
- Next by Date: [Frama-c-discuss] Error on using pp-annot
- Previous by thread: [Frama-c-discuss] two open positions in new Joint Laboratory to develop Why3 and SPARK technologies
- Next by thread: [Frama-c-discuss] Question about get varinfo from vid
- Index(es):