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>
Wed, 1 Dec 2021 01:48:14 +0000 (17:48 -0800)
commitd63e457ffbc4b1bba55a70724659644b8f4b4c9a
tree03293ca673ae52a78d91a473aeb0c92b9358d600
parente0fb521cb4e5a53b0d6f8db26a12e9ffd9712791
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