--- layout: fc_discuss_archives title: Message 75 from Frama-C-discuss on August 2013 ---
Dear Richard, Thank you for your useful suggestions. Indeed, I need to do something programmatically with the data. The second choice sounds very good. David. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130829/6c1bce6e/attachment.html>