From 2a3da5cf2908de4719c4fee6a550567facfa9d2d Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 13 Jul 2016 11:49:19 +0200
Subject: [PATCH] [doc] Update Changelog and man page for e-acsl-gcc.sh with
the new --print-mmodels option
---
src/plugins/e-acsl/doc/Changelog | 4 +++-
src/plugins/e-acsl/man/e-acsl-gcc.sh.1 | 3 +++
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index f8c4eff5eba..8ca2fc45509 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,7 +15,9 @@
# E-ACSL: the Whole E-ACSL plug-in
###############################################################################
--* E-ACSL [2016/01/22] Add an e-acsl-gcc.sh option (--rte|-a) allowing to
+-* E-ACSL [2016/07/13] Add an e-acsl-gcc.sh option (--print--models)
+ allowing to print the names of the supported memory models.
+-* E-ACSL [2016/05/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
diff --git a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
index fbce9931bcf..73a08a9da71 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -139,6 +139,9 @@ Valid arguments are:
By default the Patricia trie memory model is used.
.TP
+.B --print-models
+Print the names of the supported memory models
+.TP
.B -P, --production
generate an optimized executable with all debug features disabled.
Unoptimized executables (default) may lead to a significant
--
GitLab