projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c644d3) | patch
tools/memory-model: Make cmplitmushist.sh note timeouts
authorPaul E. McKenney <paulmck@kernel.org>
Mon, 18 Mar 2019 20:07:46 +0000 (13:07 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Fri, 24 Mar 2023 17:24:13 +0000 (10:24 -0700)
commitb1da11c936e28d60a02f13c9ea27fdc3d1759b38
tree8e3829bec7969f18d0e8d0d8c94c84a43f3c8061tree | snapshot
parent2c644d3f6536dd31f2378529c44a04ad77ea6b77commit | diff
tools/memory-model: Make cmplitmushist.sh note timeouts

Currently, cmplitmushist.sh treats timeouts (as in the "--timeout"
argument) as "Missing Observation line".  This can be misleading because
it is quite possible that running the test longer would have produced
a verification.  This commit therefore changes cmplitmushist.sh to check
for timeouts and to report them with "Timed out".

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/scripts/cmplitmushist.sh diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git