Index of exceptions


E
Error [Wp_error]
To be raised a feature of C/ACSL cannot be supported by a memory model or is not implemented, or ...

F
Failed [CfgWeakestPrecondition.Create]
Found [WpPropId]
Found [Cil2cfg]

H
Huge [Fol]

L
LabelError [NormAtLabels]

N
NoFromForBhv [WpFroms]
NoFromForCall [WpFroms]
NoFromForLoop [WpFroms]

S
SkipInit [CfgWeakestPrecondition.Create]
Stop [Wp_gui]
Stop [Calculus.Cfg]
detect if the computation of the result at edge is possible, or if it will loop.

U
Unstable [LogicDef.Cofix]