--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-c -lib-entry not working anymore?



Hello,

The following command
frama-c -lib-entry -val file.c
on an incomplete program returns with the message
Could not find entry point: main
Is it something expected?

-- 
Yannick
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081007/dd03f076/attachment.html