N | |
NoAssigns [Assigns] | |
No_simple_translation [Translate_predicates] | Exceptin raised if |
No_simple_translation [Translate_terms] | Exceptin raised if |
No_simple_translation [E_ACSL.Translate_predicates] | |
No_simple_translation [E_ACSL.Translate_terms] | |
Not_a_number [Typing] | |
Not_memoized [Error.S] | "Not memoized" error with the phase where the error occured. |
Not_yet [Error.S] | "Not yet supported" error where the first element is the phase where the error occured and the second element is the error message. |
Not_yet [E_ACSL.Error] | |
T | |
Typing_error [Error.S] | Typing error where the first element is the phase where the error occured and the second element is the error message. |
Typing_error [E_ACSL.Error] | |
U | |
Unregistered [Rtl.Symbols] |