projects / linux-2.6-block.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ffe7d00) | 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, 2 Feb 2022 01:33:27 +0000 (17:33 -0800)
commit320518d6cbc2a9175be2c2bc2f21c9e84d7529ac
tree82115422e5d627c5cc88ea86325ab745a58075d9tree
parentffe7d0072594c456cba2af94608db4898b36b496commit | 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)