--- layout: fc_discuss_archives title: Message 12 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?



> 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