From fe43adc0eb322f71799a7f8d98164d5a15b27f0a Mon Sep 17 00:00:00 2001 From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr> Date: Fri, 24 Jun 2016 12:58:43 +0200 Subject: [PATCH] Added the name of the new --rte option to changelog --- src/plugins/e-acsl/doc/Changelog | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 17b2e7466dd..f8c4eff5eba 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,9 +15,9 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### --* E-ACSL [2016/01/22] Add an e-acsl-gcc.sh option allowing to annotate - the source program with memory-safety assertions prior to - instrumentation. +-* E-ACSL [2016/01/22] Add an e-acsl-gcc.sh option (--rte|-a) allowing to + annotate the source program with memory-safety assertions prior to + instrumentation. - E-ACSL [2016/05/23] Re-implementation of the type system which improves the efficiency of the generated code over integers. -* E-ACSL [2016/05/23] Fix bug #2191 about complicate structs and -- GitLab