--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on July 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] unbound value when calling "Annotations.get_annotations"



Le 20/07/2011 09:59, ??? a ?crit :
Maybe the best way is
> to use hash tables to store the extra information.

If you want that such hash tables properly work in a multi-project 
context, then you have to "projecty" it. For this purpose, the simplest 
solution is to apply the functor Cil_state_builder.Stmt_hashtbl.

--
Julien