From 701c62a09b25c800bf0f3322009f694d6c4bb50c Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Fri, 10 Jun 2016 14:53:50 +0200
Subject: [PATCH] Update e-acsl-gcc.sh manpage

---
 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 9648bdc1044..cda898dd5cb 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -111,6 +111,9 @@ redirect all output to a given file.
 .B -F, --frama-c-extra=\fI<FLAGS>
 pass an extra option to a \fBFrama-C\fP invocation.
 .TP
+.B -a, --rte
+annotate a source program with assertions validating pointer or array access prior to instrumentation.
+.TP
 .B -m, --memory-model=\fI<model>
 memory model (i.e., a runtime library for checking memory related annotations)
 to be linked against the instrumented file.
-- 
GitLab