--- layout: fc_discuss_archives title: Message 2 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



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