diff --git a/doc/value/main.tex b/doc/value/main.tex index 83a27c385400de4fee043a9666a0b5728dea41f5..33eac7470b5f581cf082739620644aacb1a0fd68 100644 --- a/doc/value/main.tex +++ b/doc/value/main.tex @@ -3930,10 +3930,9 @@ analysis, both in terms of precision and performance. However, when dealing with large arrays and matrices, it is worth considering its usage. -\section{Advanced analyses} +\section{Analysis domains} \label{sec:eva} - This section presents the analysis \emph{domains} available to improve the precision on specific code constructs. They can (and probably should) be enabled at the beginning of the analysis.