--- layout: fc_discuss_archives title: Message 91 from Frama-C-discuss on October 2008 ---
Salut, yesterday I asked how I write own functions in FramaC, I want to create a function, that counts occurences of a value in an array: /* logic integer occ_value(int* a, int index, int length, int value) = (index == length) ? 0 : ( (a[index] == value) ? 1 + list_length(a, index+1, length, value) : list_length(a, index+1, length, value)) ; */ Does Jessie support it yet, will it support it or has it to be done somehow else? Merci d'avance -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081021/4c4d416b/attachment.html