C | |
| Contradiction [Lang] | |
| Contradiction [Wp.Lang] | |
E | |
| Error [Warning] | Source, Reason |
| Error [Wp_error] | To be raised a feature of C/ACSL cannot be supported by a memory model or is not implemented, or ... |
| Error [Wp.Warning] | Source, Reason |
L | |
| LabelNotFound [StmtSemantics.Make] | |
| LabelNotFound [Wp.StmtSemantics.Make] | |
N | |
| NonNaturalLoop [CfgCalculus.Make] |