--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on November 2008 ---
Hello, I studied the most recent ACSL 1.4 Manual. But I still don't know how to program with it. I would appreciate a working implementation of the "nbocc()" function. By the way I would like to know when to expect a patch, to repair the problem with loop verification. Thanks in advance Christoph -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081103/44a4ff32/attachment.htm