From 4ef755ef6fddd0b27b3eef23e93f0f1b126932f2 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Thu, 9 Jul 2020 13:44:49 +0200
Subject: [PATCH] [eacsl:runtime] Print expression when failing DASSERT

---
 src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
index 3834b511453..0a047997ee7 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
@@ -73,7 +73,7 @@ static int dlog_fd = -1;
 #endif
 
 /*! \brief Debug-time assertion based on assert (see e_acsl_assert.h) */
-#define DASSERT(_e) vassert(_e,"",NULL)
+#define DASSERT(_e) vassert(_e,TOSTRING(_e),NULL)
 
 /*! \brief Debug-time assertion based on vassert (see e_acsl_assert.h) */
 #define DVASSERT(_expr, _fmt, ...) vassert(_expr, _fmt, __VA_ARGS__)
-- 
GitLab