--- layout: fc_discuss_archives title: Message 100 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] axioms and logic functions



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