projects / linux-2.6-block.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: abd31b5) | patch
tools/memory-model: Make judgelitmus.sh note timeouts
authorPaul E. McKenney <paulmck@kernel.org>
Mon, 18 Mar 2019 18:53:50 +0000 (11:53 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Wed, 1 Dec 2021 01:48:14 +0000 (17:48 -0800)
commite0fb521cb4e5a53b0d6f8db26a12e9ffd9712791
treea4516d811ec3650aafeff3b34b92f0efa22f52batree
parentabd31b53c4d2a112302e417d59f420b2c8478e49commit | diff
tools/memory-model: Make judgelitmus.sh note timeouts

Currently, judgelitmus.sh treats timeouts (as in the "--timeout" argument)
as "!!! Verification error".  This can be misleading because it is quite
possible that running the test longer would have produced a verification.
This commit therefore changes judgelitmus.sh to check for timeouts and
to report them with "!!! Timeout".

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/scripts/judgelitmus.sh diff | blob | blame | history
Linux 6.x block layer and io_uring tree(s)