Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] frama-c -lib-entry not working anymore?
  • From: yannick.moy at gmail.com (Yannick Moy)
  • Date: Tue Oct 7 18:03:58 2008
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