--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on October 2008 ---
> Hi, > I though -lib-entry was specifying that I want to verify a library, without > a single entry point. I understand now, you're right. > Thanks, > > Yannick > > > On Tue, Oct 7, 2008 at 6:18 PM, David DELMAS <david.delmas@airbus.com>wrote: > >> Hi Yannick, >> >> Don't you just need >> >> frama-c -lib-entry -val file.c -main <function name> >> >> ? >> >> On Tue, 2008-10-07 at 18:03 +0200, Yannick Moy wrote: >> > 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 >> > >> > This mail has originated outside your organization, either from an >> external partner or the Global Internet. >> > Keep this in mind if you answer this message. >> > >> > _______________________________________________ >> > Frama-c-discuss mailing list >> > Frama-c-discuss@lists.gforge.inria.fr >> > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss >> >> The information in this e-mail is confidential. The contents may not be >> disclosed or used by anyone other then the addressee. Access to this e-mail >> by anyone else is unauthorised. >> If you are not the intended recipient, please notify Airbus immediately >> and delete this e-mail. >> Airbus cannot accept any responsibility for the accuracy or completeness >> of this e-mail as it has been sent over public networks. If you have any >> concerns over the content of this message or its Accuracy or Integrity, >> please contact Airbus immediately. >> All outgoing e-mails from Airbus are checked using regularly updated virus >> scanning software but you should take whatever measures you deem to be >> appropriate to ensure that this message and any attachments are virus free. >> >> > > > -- > Yannick > -- Yannick -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081007/2cc6b454/attachment.html