Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] query regarding size of file
  • From: virgile.prevosto at (Virgile Prevosto)
  • Date: Tue, 4 Aug 2015 13:03:05 +0200
  • In-reply-to: <>
  • References: <>


2015-08-04 11:28 GMT+02:00 sowmya mitra Attaluri <mitra2270 at>:
> 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