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] unbound value when calling "Annotations.get_annotations"

  • Subject: [Frama-c-discuss] unbound value when calling "Annotations.get_annotations"
  • From: njucslzh0714 at (刘自恒)
  • Date: Mon, 11 Jul 2011 16:53:09 +0800


I want to get the annotations associated with a stmt but it's into a strange
situation when calling "Annotations.get_annotations". The error message is

          Error: Unbound value Annotations.get_annotations

but when calling "Annotations.get_all" there is no error. The code "open
Annotations" has been added to the head. How to resolve it?

Best Regards.

Henry Liu
???(+86) 159  5199  8028
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>