--- layout: fc_discuss_archives title: Message 100 from Frama-C-discuss on October 2008 ---
Salut, I'd like define a function to that counts occurrences of a value in an array. I've been told, that support for the recursive logical functions has been removed. So, how do I define a function that counts and returns occurrences of a value in an array, with axioms. Or better how do I implement/use the axioms in the 1_3 Manual properly. Christoph -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081022/72246042/attachment.htm