Commit 2c644d3f authored by Paul E. McKenney's avatar Paul E. McKenney
Browse files

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: default avatarPaul E. McKenney <paulmck@kernel.org>
parent 7e7eb5ae

tools/memory-model/scripts/judgelitmus.sh

+8 −0
Original line number Diff line number Diff line
@@ -42,6 +42,14 @@ grep '^Observation' $LKMM_DESTDIR/$litmus.out 
if grep -q '^Observation' $LKMM_DESTDIR/$litmus.out

then

	:

elif grep '^Command exited with non-zero status 124' $LKMM_DESTDIR/$litmus.out

then

	echo ' !!! Timeout' $litmus

	if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out

	then

		echo ' !!! Timeout' >> $LKMM_DESTDIR/$litmus.out 2>&1

	fi

	exit 124

else

	echo ' !!! Verification error' $litmus

	if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out