From babed3909d8a7def991cc55ec6cca12b68c31f3c Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Fri, 5 Jun 2020 16:13:36 +0200
Subject: [PATCH] [Doc] add link to Frama-C blog post about C-Reduce
---
doc/userman/user-analysis-scripts.tex | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/doc/userman/user-analysis-scripts.tex b/doc/userman/user-analysis-scripts.tex
index ba6e590c56b..39dbfe2c72d 100644
--- a/doc/userman/user-analysis-scripts.tex
+++ b/doc/userman/user-analysis-scripts.tex
@@ -333,7 +333,10 @@ different. It is available at\\
C programs causing crashes in \FramaC; useful e.g. when submitting a bug
report to \FramaC, without needing to submit potentially confidential data.
The script contains extensive comments about its usage. It is also
- described in a post from the \FramaC blog.
+ described in a post\footnote{%
+ {\em Debugging Frama-C analyses: better privacy with C-Reduce},
+ at \url{https://pub.frama-c.com/scripts/usability/2020/04/02/creduce.html}.}
+ from the \FramaC blog.
\end{description}
To use the \texttt{creduce.sh} script, you need to have the C-Reduce tool
--
GitLab