From 1374ca3444131e96fe272bf9c2a5d55b2865f6ec Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 12 Jan 2022 09:33:10 +0100
Subject: [PATCH] [eacsl] Update "with values" assertion message
---
.../e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
index 03338d3f3e0..494e869d14c 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
@@ -37,7 +37,7 @@ int eacsl_runtime_sound_verdict = 1;
void eacsl_print_values(eacsl_assert_data_t *data) {
eacsl_assert_data_value_t *value = data->values;
if (value != NULL) {
- STDERR("\tWith values:\n");
+ STDERR("\tWith values at failure point:\n");
}
while (value != NULL) {
eacsl_print_value(value);
--
GitLab