From: SeongJae Park <sj38.park@xxxxxxxxx>
A few sentences in spinhint.tex are using ``\co{}'', which can be
shortenized with \qco{}. Use the shorter one.
Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/spinhint.tex | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/formal/spinhint.tex b/formal/spinhint.tex
index afdd275e..0371f570 100644
--- a/formal/spinhint.tex
+++ b/formal/spinhint.tex
@@ -275,7 +275,7 @@ Given a source file \path{qrcu.spin}, one can use the following commands:
10.5\,GB of memory even with the \co{-DCOLLAPSE} flag.
If you see a message from \co{./pan} saying:
- ``\co{error: max search depth too small}'', you need to increase
+ \qco{error: max search depth too small}, you need to increase
the maximum depth by a \co{-mN} option for a complete search.
The default is \co{-m10000}.
@@ -325,7 +325,7 @@ Promela will provide some surprises to people used to coding in C,
C++, or Java.
\begin{enumerate}
-\item In C, ``\co{;}'' terminates statements.
+\item In C, \qco{;} terminates statements.
In Promela it separates them.
Fortunately, more recent versions of Spin have become
much more forgiving of ``extra'' semicolons.
@@ -582,7 +582,7 @@ cc -DSAFETY -o pan pan.c
The output will look something like that shown in
\cref{lst:formal:Output for Spinlock Test}.
-As expected, this run has no assertion failures (``\co{errors: 0}'').
+As expected, this run has no assertion failures (\qco{errors: 0}).
\QuickQuizSeries{%
\QuickQuizB{
--
2.17.1
