--- layout: fc_discuss_archives title: Message 88 from Frama-C-discuss on September 2013 ---
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>