--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on July 2011 ---
Hi, I have a test to get the function list from a file. Basically, we could do the following steps "1. Ast.get() 2. traverse globals and match the GFun". However, for a file with only function declaration on implementation, we could not get the function list from the globals. So, how to alleviate this problem? /*@ behavior b1: assumes x > y; ensures \result == x; behavior b2: assumes x < y; ensures \result == y; */ int max (int a, int b); Thanks, Haihao -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110712/d4faed55/attachment.htm>