diff options
| author |   Paul E. McKenney <paulmck@kernel.org> | 2019-03-18 13:40:57 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:13 -0700 |
| commit | 02484d826fda923f829fc47350ee99fd3cbd3414 (patch) | |
| tree | 7f8aaa865aa0c218aa66f6eff81e184ec379eb70 /tools/perf/scripts/python/exported-sql-viewer.py | |
| parent | tools/memory-model: Make cmplitmushist.sh note timeouts (diff) | |
| download | wireguard-linux-02484d826fda923f829fc47350ee99fd3cbd3414.tar.xz wireguard-linux-02484d826fda923f829fc47350ee99fd3cbd3414.zip | |
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>
Diffstat (limited to 'tools/perf/scripts/python/exported-sql-viewer.py')
0 files changed, 0 insertions, 0 deletions