--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on August 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] query regarding size of file



We are experimenting on Frama-C Neon version for our project related
code. Depending on the code we are writing annotations in ACSL and
giving the annotated file to Frama-C WP plugin . However, the problem
we are facing is that if the predicates plus global annotations which
when are exceeding 22 it is giving a message " Cannot display more
than 21 globals , skipping end of file", and hence we are not able to
see the rest of file and results. Is there any solution to this
problem. Do the predicates fall under global annotations? What are the
possible methods to overcome this problem, kindly suggest a solution.

Thanking You,

A.Sowmya Mitra