From 7196edfa31e7c94fc97b4fe3fe1a08ff53312317 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 18 Sep 2018 18:09:23 +0200
Subject: [PATCH] [userman] little-endian
---
src/plugins/e-acsl/doc/userman/limitations.tex | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/userman/limitations.tex b/src/plugins/e-acsl/doc/userman/limitations.tex
index cb007c17c14..f0a488f0f90 100644
--- a/src/plugins/e-acsl/doc/userman/limitations.tex
+++ b/src/plugins/e-acsl/doc/userman/limitations.tex
@@ -130,7 +130,7 @@ A violation of such an annotation $a$ is undetected. There is no workaround yet.
Also, the option \optionuse{-}{e-acsl-check} does not verify the annotations of
undefined functions. There is also no workaround yet.
-\section{Recursive Function}
+\section{Recursive Functions}
\index{Function!Recursive}
Programs containing recursive functions have the same limitations as the ones
@@ -185,3 +185,5 @@ correctly.
recent and presently has very limited support for 32-bit architectures. When
using a 32-bit machine we recommend using the bittree-based memory model
instead.
+
+This library also assumes a little-endian architecture.
--
GitLab