projects / linux.git / commit
? search:
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 | snapshot
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
ep93xx device tree rework repo: git://git.maquefel.me/linux.git