]> www.infradead.org Git - users/jedix/linux-maple.git/commit
projects / users / jedix / linux-maple.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e7eb5a) | 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>
Fri, 24 Mar 2023 17:24:13 +0000 (10:24 -0700)
commit2c644d3f6536dd31f2378529c44a04ad77ea6b77
tree3236216d75181a6b26228f7dc8390a81bf8dc60atree
parent7e7eb5ae4e4cd482a1ebc6a82ea8a04c5ead62eecommit | 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 | history
Unnamed repository; edit this file 'description' to name the repository.