Index of exceptions


A
Actual_is_bottom [Function_args]
AlwaysOverlap [Eval_stmt]

C
Cannot_find_lv [Eval_exprs]

I
InvalidCall [Eval]
Invalid_nb_of_args [Builtins]

L
LogicEvalError [Eval_terms]

M
MessyJoin [Gauges_domain.G]

N
No_such_behavior [Eval_annots.ActiveBehaviors]
Not_an_exact_loc [Eval_terms]
Not_based_on_null [Cvalue.V]

P
ParseFailure [Split_strategy]

R
Reduce_to_bottom [Eval_exprs]

U
Unchanged [State_imp]
Adding elements.
Unchanged [State_set]
Untranslatable [Gauges_domain.G]

W
WrongFunctionType [Function_args]