From 8c452cd7c1d7f5b5d9bf3825287b184edff1f0a5 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Fri, 19 May 2017 17:16:21 +0200
Subject: [PATCH] Manpage for e-acsl-gcc.sh

---
 src/plugins/e-acsl/man/e-acsl-gcc.sh.1 | 3 +++
 1 file changed, 3 insertions(+)

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 dd9c9398362..9b1c8283fdc 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -99,6 +99,9 @@ use the \fBFrama-C\fP standard library instead of a system-wide one.
 .B -M, --full-mmodel
 maximize memory-related instrumentation.
 .TP
+.B --temporal
+enable checking for temporal memory errors in \\\fBvalid\fP and \\\fBvalid_read\fP predicates.
+.TP
 .B --weak-validity
 enable notion of weak validity. By default expression \fB(p+i)\fP, where \fBp\fP
 is a pointer and \fBi\fP is an integer offset is deemed valid if both addresses
-- 
GitLab