Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/spinhint.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/formal/spinhint.tex b/formal/spinhint.tex
index 7787ed8..e91d458 100644
--- a/formal/spinhint.tex
+++ b/formal/spinhint.tex
@@ -422,7 +422,7 @@ Given a source file \path{qrcu.spin}, one can use the following commands:
you.
Don't forget to capture the output, especially
- if you are working on a remote machine,
+ if you are working on a remote machine.
If your model includes forward-progress checks, you will likely
need to enable ``weak fairness'' via the \co{-f} command-line
@@ -594,7 +594,7 @@ The following tricks can help you to abuse Promela safely:
Because each statement contributes to state, we can reduce
the number of useless states by enclosing it in an \co{atomic}
block as shown in
- Figure~\ref{fig:analysis:Atomic Block for Complex Promela Assertion}
+ Figure~\ref{fig:analysis:Atomic Block for Complex Promela Assertion}.
\item Promela does not provide functions.
You must instead use C preprocessor macros.
--
2.10.0
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
