--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on March 2011 ---
Hello, Now I use is Frama-C Carbon beta-2 and why-2.28 and I want to use Jessie to analyze a C program. When I type frama-c -jessie xxx.c the I get (among others) the message [kernel] No code for function <name>, default assigns generated. xxx.c:150:[jessie] failure: unsupported variadic functions. [jessie] warning: Unsupported feature(s). Jessie plugin can not be used on your code. Can you give me some suggestions for the situation? Thanks a lot! Regards, Keisha Yang -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110315/903100b0/attachment.htm>