Commit 5669df8c authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[aorai] adjust error message of uninitialized meta-variables

parent 3cf3ee20
......@@ -106,7 +106,7 @@ struct
let alarm (src,tr,dst) vars =
Aorai_option.abort
"The metavariables %a may not be initialized before the transition \
from %a to %a (%a)."
from %a to %a:@\n%a"
pretty_set vars
pretty_state src
pretty_state dst
......
[kernel] Parsing tests/aorai/metavariables-wrong.i (no preprocessing)
[aorai] Welcome to the Aorai plugin
[aorai] User Error: The metavariables aorai_x may not be initialized before the transition from e to f_0 (
[aorai] User Error: The metavariables aorai_x may not be initialized before the transition from e to f_0:
(Call(h))
and
((aorai_x) > (0))).
((aorai_x) > (0))
[kernel] Plug-in aorai aborted: invalid user input.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment