Index of exceptions


A
AbortTranslation [Translate.ToGfol]

C
CallArgsVsParamNb [Mvar.MC]
CallArgsVsParamNb [Mmem.MM]
CallArgsVsParamNb [Call.T_for_call]
CallFctPtr [Mvar.MC]
CallFctPtr [Mmem.MM]
CallFctPtr [Call.T_for_call]
CallNeedFctAssigns [Mvar.MC]
CallNeedFctAssigns [Mmem.MM]
CallNeedFctAssigns [Call.T_for_call]

I
InvalidModel [Calculus]
To be raised whenever a model cannot interpret something
Invalid_subst [Mvar.MV]

L
LabelError [NormAtLabels]

N
No_addr [WpFol]

S
Stop [Wp_gui]

U
UnknownGuard [Model1]
UnnamedCilOp [Why_ops]
Unsupported [Types]