From 5669df8cc9eaf206b470e9d454006aea2d39c480 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 10 Jan 2019 19:44:48 +0100
Subject: [PATCH] [aorai] adjust error message of uninitialized meta-variables
---
src/plugins/aorai/aorai_metavariables.ml | 2 +-
.../aorai/tests/ya/oracle/metavariables-wrong.res.oracle | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/aorai/aorai_metavariables.ml b/src/plugins/aorai/aorai_metavariables.ml
index 8ec42e7de62..8ac8b2c4bc0 100644
--- a/src/plugins/aorai/aorai_metavariables.ml
+++ b/src/plugins/aorai/aorai_metavariables.ml
@@ -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
diff --git a/src/plugins/aorai/tests/ya/oracle/metavariables-wrong.res.oracle b/src/plugins/aorai/tests/ya/oracle/metavariables-wrong.res.oracle
index 6568609540b..7527ce29b7a 100644
--- a/src/plugins/aorai/tests/ya/oracle/metavariables-wrong.res.oracle
+++ b/src/plugins/aorai/tests/ya/oracle/metavariables-wrong.res.oracle
@@ -1,7 +1,7 @@
[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.
--
GitLab