--- layout: fc_discuss_archives title: Message 47 from Frama-C-discuss on April 2013 ---
I inserted that bi-implication out of desperation and forgot to remove it Also, in the axiom im using reads *s. Is reads s[.. ] now supported by WP? Cristiano sousa Sent from my Android -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130419/982392e3/attachment.html>