From 7d9c4380f923ed9e6260c9e4512f4adf219e5a2c Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 28 Mar 2017 08:35:07 +0200
Subject: [PATCH] changelog

---
 src/plugins/e-acsl/doc/Changelog | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 1658419c1e2..5fbdb499640 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,10 +15,13 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL       [2017/03/28] Fix backtrace when the failed instrumented programs
+	        do not require memory model.
 -! E-ACSL       [2017/03/19] Remove --print|-p option from e-acsl-gcc.sh
 -! E-ACSL       [2017/03/16] Add --check option to e-acsl-gcc.sh which allows
-	        to check the integrity of the generated AST before instrumentation
--! E-ACSL       [2017/03/03] Remove precond rte option from e-acsl-gss.sh
+	        to check the integrity of the generated AST before
+	        instrumentation.
+-! E-ACSL       [2017/03/03] Remove precond rte option from e-acsl-gss.sh.
 -* E-ACSL       [2017/03/02] Fix bts #1740 about incorrect monitoring of
 	        memory properties when early exiting a block through
 	        goto, break or continue.
-- 
GitLab