--- layout: fc_discuss_archives title: Message 88 from Frama-C-discuss on September 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to determine a function is non determine function or not programmatically?



Dear all,

I want to know how to determine a function is "NON TERMINATING FUNCTION" or
not.
But I can't find corresponding apis from Db.Value module.

Is there any suggestion on this issue?
Thank you. Looking forward to find solutions.

Best regards,
David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130912/e56b1d2c/attachment-0001.html>