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
>
