On Wed, Oct 08, 2025 at 10:06:06AM +0900, Akira Yokosawa wrote:
> In initialization of litmus tests, comments should be "(* ... *)".
> Fix it.
>
> Fixes: 915807a52e21 ("together/applyrcu: Use \clnref{} and its friends in
> Section 13.5.9")
> Signed-off-by: Akira Yokosawa <[email protected]>
I clearly failed to test! Thank you for the fix, applied.
Thanx, Paul
> ---
> .../C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git
> a/CodeSamples/formal/herd/C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus
>
> b/CodeSamples/formal/herd/C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus
> index 73859c24..86ea5553 100644
> ---
> a/CodeSamples/formal/herd/C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus
> +++
> b/CodeSamples/formal/herd/C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus
> @@ -5,7 +5,7 @@ C C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul
> int a=1;
> int b;
> int c;
> - int *p=a; //\lnlbl[init:p]
> + int *p=a; (* \lnlbl[init:p] *)
> }
>
> P0(int *a, int *b, int *c, int **p)
>
> base-commit: ef86afaddd2705ea45124c967ec1ec046eaba4fc
> --
> 2.43.0
>
