Paul E. McKenney 02484d826f tools/memory-model: Make judgelitmus.sh identify bad macros ...

Currently, judgelitmus.sh treats use of unknown primitives (such as
srcu_read_lock() prior to SRCU support) as "!!! Verification error".
This can be misleading because it fails to call out typos and running
a version LKMM on a litmus test requiring a feature not provided by
that version.  This commit therefore changes judgelitmus.sh to check
for unknown primitives and to report them, for example, with:

	'!!! Current LKMM version does not know "rcu_write_lock"'.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>

2023-03-24 10:24:13 -07:00

3.2 KiB

Executable File

Raw Blame History

View Raw