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.
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
