--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on August 2015 ---
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