From 24b31623753777484a89c180012ac37071f3c599 Mon Sep 17 00:00:00 2001 From: Daniel Matichuk Date: Thu, 15 Aug 2024 11:32:13 -0700 Subject: [PATCH] Update docs/user-manual/binary-ninja-ui.tex Co-authored-by: Ben Davis --- docs/user-manual/binary-ninja-ui.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/user-manual/binary-ninja-ui.tex b/docs/user-manual/binary-ninja-ui.tex index 4d89479c..881d0fa2 100644 --- a/docs/user-manual/binary-ninja-ui.tex +++ b/docs/user-manual/binary-ninja-ui.tex @@ -147,7 +147,7 @@ \subsection{Trace Constraints} \end{figure} Multiple constraints may be added at this point, or removed via the "Remove Constraint" button. Once the desired set of constraints -has been provided, clicking "OK" will close the dialogue and present an updated equivalence condition window containing the +has been provided, clicking ``OK'' will close the dialogue and present an updated equivalence condition window containing the now-constrained traces (see Figure~\ref{fig:equiv-cond-constrained}). Notably the equivalence condition itself has also been simplified under the trace constraints. This may, for example, remove some clauses that are now necessarily true under the given constraint, or simplify the entire condition to simply \emph{true} if the given constraints imply that the