Re: [PATCH 0/4] Update snippets of litmus tests

["Paul E. McKenney" <paulmck@linux.ibm.com>]

On Fri, Nov 30, 2018 at 07:10:15AM +0900, Akira Yokosawa wrote:
> >From f07d05ca837a57e07f7a87bcbac2bf034905adab Mon Sep 17 00:00:00 2001
> From: Akira Yokosawa <akiyks@gmail.com>
> Date: Fri, 30 Nov 2018 06:55:25 +0900
> Subject: [PATCH 0/4] Update snippets of litmus tests
> 
> Hi Paul,
> 
> RCU litmus tests recently added in "formal" did not compile
> by klitmus7. Patch #1 is my attempt to manage them klitmus7
> ready.
> 
> Patch #2 add recipe for klitmus7-ready tests. Such tests need
> to be manually added in a list.
> 
> In preparing Patch #3, I looked up your "litmus" repository
> and found that comments on "exists" clause are actually allowed
> in the form of "(* ... *)".  Patch #3 updates labels embedded
> in litmus tests. Patch #4 updates styleguide accordingly.
> 
>         Thanks, Akira

Queued and pushed, thank you!

And yes, I sometimes use existing litmus tests as reference manuals.

							Thanx, Paul

> --
> Akira Yokosawa (4):
>   formal: Make RCU litmus tests klitmus7 ready
>   CodeSamples/formal/herd: Add recipe for klitmus7-ready tests
>   Use '(* ... *)' style comments in epilogue of litmus tests
>   styleguide: Loosen restriction on comment in litmus test
> 
>  CodeSamples/formal/herd/C-RCU-remove.litmus        | 18 +++++---
>  .../formal/herd/C-RomanPenyaev-list-rcu-rr.litmus  | 28 ++++++++----
>  .../formal/herd/C-SB+l-o-o-u+l-o-o-u-C.litmus      |  4 +-
>  CodeSamples/formal/herd/Makefile                   |  6 ++-
>  appendix/styleguide/styleguide.tex                 | 25 ++++-------
>  utilities/reorder_ltms.pl                          | 50 ++++++----------------
>  6 files changed, 57 insertions(+), 74 deletions(-)
> 
> -- 
> 2.7.4
>