Commit 5d76b835 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[aorai] update test config `prove'

parent f8f4b28e
......@@ -4,5 +4,5 @@
[aorai] Welcome to the Aorai plugin
[kernel] Parsing TMPDIR/aorai_test_boucle_0.i (no preprocessing)
[wp] Warning: Missing RTE guards
[kernel:annot:missing-spec] TMPDIR/aorai_test_boucle_0.i:81: Warning:
[kernel:annot:missing-spec] TMPDIR/aorai_test_boucle_0.i:85: Warning:
Neither code nor specification for function call_to_an_undefined_function, generating default assigns from the prototype
......@@ -3,5 +3,5 @@
[aorai] Warning: Call to main does not follow automaton's specification. This path is assumed to be dead
[kernel] Parsing TMPDIR/aorai_incorrect_0.i (no preprocessing)
[wp] Warning: Missing RTE guards
[kernel:annot:missing-spec] TMPDIR/aorai_incorrect_0.i:61: Warning:
[kernel:annot:missing-spec] TMPDIR/aorai_incorrect_0.i:65: Warning:
Neither code nor specification for function f, generating default assigns from the prototype
[kernel] Parsing tests/ya/metavariables-incompatible.i (no preprocessing)
[aorai] Welcome to the Aorai plugin
[aorai] User Error: The use of metavariables is incompatible with non-deterministic automata, such as automa using extended transitions.
[kernel] Plug-in aorai aborted: invalid user input.
[kernel] Parsing tests/ya/metavariables-right.i (no preprocessing)
[aorai] Welcome to the Aorai plugin
[kernel] Parsing TMPDIR/aorai_metavariables-right_0.i (no preprocessing)
[wp] Warning: Missing RTE guards
[kernel] Parsing tests/ya/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:
(Call(h))
and
((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