Skip to content

Update snippets of litmus tests

Akira Yokosawa perfbook 1 version Applied

Status from this message: Queued and pushed, thank you!

Get series with b4
b4 am [email protected]

Versions newest first

  1. v1 Latest4 patches 1 replyApplied

Patches in v1 Applied

#Subject and filesSizeRepliesApplied
1/4formal: Make RCU litmus tests klitmus7 readyCodeSamples/formal/herd/C-RCU-remove.litmus CodeSamples/formal/herd/C-RomanPenyaev-list-rcu-rr.litmus+27 -110 replies
2/4CodeSamples/formal/herd: Add recipe for klitmus7-ready testsCodeSamples/formal/herd/Makefile+4 -20 replies
3/4Use '(* ... *)' style comments in epilogue of litmus testsCodeSamples/formal/herd/C-RCU-remove.litmus CodeSamples/formal/herd/C-RomanPenyaev-list-rcu-rr.litmus CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-C.litmus +1 more+20 -460 replies
4/4styleguide: Loosen restriction on comment in litmus testappendix/styleguide/styleguide.tex+8 -170 replies

Reviews trailers per patch

No Reviewed-by, Acked-by or Tested-by trailers for v1 yet.

Read the v1 thread

Cover letter [PATCH 0/4] Update snippets of litmus tests

From f07d05ca837a57e07f7a87bcbac2bf034905adab Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <[email protected]>
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
--
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(-)
Signature · 1 line
2.7.4

Read the cover letter in its thread