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, 2 Feb 2022 01:33:27 +0000 (17:33 -0800)
commit77f5835170ae8fe3eddc1194f81f2f20a47881c6
treecb06e599922e2a2d757ed388b65850d5ba899c33
parent320518d6cbc2a9175be2c2bc2f21c9e84d7529ac
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