--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on August 2015 ---
Hello, 2015-08-04 11:28 GMT+02:00 sowmya mitra Attaluri <mitra2270 at gmail.com>: > 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 On the left panel of the GUI, you have a list of the globals of your program, and if you select one of them, you'll see it displayed. You can also select the kind of globals you want to see in the list by clicking on the source file button. Best regards, -- E tutto per oggi, a la prossima volta Virgile