Commit 96362936 authored by Valentin Perrelle's avatar Valentin Perrelle
Browse files

[aorai] fix error message to match the convention

parent c191e621
......@@ -148,7 +148,7 @@ let checkSingleAssignment auto =
| Copy_value ((TVar({lv_origin = Some vi}),_),_) ->
if VarSet.mem vi assigned then
Aorai_option.abort
"The metavariable %a may not be assigned several times during the \
"The metavariable %a is assigned several times during the \
transition %a"
Cil_printer.pp_varinfo vi
pretty_trans tr;
......
[kernel] Parsing tests/ya/singleassignment-wrong.i (no preprocessing)
[aorai] Welcome to the Aorai plugin
[aorai] User Error: The metavariable aorai_x may not be assigned several times during the transition from a to b:
[aorai] User Error: The metavariable aorai_x is assigned several times during the transition from a to b:
{ Call(main) } aorai_x <- x
aorai_x <- aorai_x + 1
[kernel] Plug-in aorai aborted: invalid user input.
[kernel] Parsing tests/ya/singleassignment-wrong.i (no preprocessing)
[aorai] Welcome to the Aorai plugin
[aorai] User Error: The metavariable aorai_x may not be assigned several times during the transition from a to b:
[aorai] User Error: The metavariable aorai_x is assigned several times during the transition from a to b:
{ Call(main) } aorai_x <- x
aorai_x <- aorai_x + 1
[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