From c2011b75d86dceea9a1857b3790e4aa5c7ac741d Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 24 Nov 2021 15:25:56 +0100
Subject: [PATCH] [eacsl] Update changelog
---
src/plugins/e-acsl/doc/Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index d14f0bda22c..2f974dddc98 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
Plugin E-ACSL 24.0 (Chromium)
#############################
+-* E-ACSL [2021-11-24] Fix code generation of properties proven invalid
+ with a previous analysis (frama-c/e-acsl#166).
- E-ACSL [2021-10-20] Add option -e-acsl-assert-print-data
(--assert-print-data in e-acsl-gcc.sh) to print data
contributing to a failed assertion along with the error message.
--
GitLab