Why3.Ident.get_model_element_name fails with Not_found
Hello all,
I used to name the elements I want to retrieve in a model with attribute mod_trac
.
Then, to retrieve the given name of a model_element
obtained with get_model_elements
from a model
, I used Why3.Ident.get_model_element_name
on the attributes of the model element (elt.me_attrs
).
Unfortunately, there is now elements in the models on which this process fails with Not_found
.
When printing the concerned model elements attributes, it gives either [@introduced]
or nothing.
I could bypass this problem by ignoring such model elements.