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] using library function in frama-C


  • Subject: [Frama-c-discuss] using library function in frama-C
  • From: doan.thanh.nam.1988 at gmail.com (nam nam)
  • Date: Sat, 14 Nov 2009 22:55:01 +0700

Hi all

I am working with Frama C to verify some programs. But I have a question.
Does Frama C suppose using function that are in library to verify program
especially for float-return function?

For example, in my program I have to call cos or sin function, how can I
verify this program?

Thank you
Nam
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091114/ac6ef0a9/attachment.htm