--- layout: fc_discuss_archives title: Message 40 from Frama-C-discuss on February 2012 ---
Hello, I want to modify the contract of a function, ie to insert pre- or postconditions. I've seen that there are functions to build these in Ast_info, but how are they inserted into the AST? -- Best regards, Boris -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120210/5522cf32/attachment.htm>