Re: [PATCH -perfbook 0/3] CodeSamples/formal/herd: Tweaks for new litmus tests

On Mon, Nov 24, 2025 at 06:10:56PM +0900, Akira Yokosawa wrote:
> Hi Paul,
> 
> I see a couple of minor issues in running
> 
>    - make cross-klitmus; cd klitmus; make
>    - make run-herd7
> 
> under CodeSamples/formal/herd/.
> 
> This patch set should resolve those issues.

Queued and pushed, thank you!

							Thanx, Paul

>         Thanks, Akira
> --
> Akira Yokosawa (3):
>   CodeSamples/.../herd: Declare non-int reg variables in init block
>   CodeSamples/.../herd/Makefile: Add klitmus7-ready tests
>   CodeSamples/formal/herd/Makefile: Exclude time-consuming test from
>     run-herd7
> 
>  ...-rcusync-o+o-o-rcusync-o+rl-o-o-rul.litmus |  3 +++
>  ...usync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus |  3 +++
>  .../formal/herd/C-double-check-cas-2.litmus   |  2 ++
>  .../formal/herd/C-double-check-rcu-2.litmus   |  2 ++
>  .../formal/herd/C-double-check-rcu-3.litmus   |  3 +++
>  .../formal/herd/C-double-check-rcu-4.litmus   |  4 ++++
>  CodeSamples/formal/herd/Makefile              | 21 +++++++++++++++----
>  7 files changed, 34 insertions(+), 4 deletions(-)
> 
> 
> base-commit: 11bc82274338c587732236210f9f6aaa5b5c0343
> -- 
> 2.43.0
>