1#!/bin/sh
2# SPDX-License-Identifier: GPL-2.0+
3#
4# Run herd7 tests on all .litmus files in the litmus-tests directory
5# and check each file's result against a "Result:" comment within that
6# litmus test.  If the verification result does not match that specified
7# in the litmus test, this script prints an error message prefixed with
8# "^^^".  It also outputs verification results to a file whose name is
9# that of the specified litmus test, but with ".out" appended.
10#
11# Usage:
12#	checkalllitmus.sh
13#
14# Run this in the directory containing the memory model.
15#
16# This script makes no attempt to run the litmus tests concurrently.
17#
18# Copyright IBM Corporation, 2018
19#
20# Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
21
22. scripts/parseargs.sh
23
24litmusdir=litmus-tests
25if test -d "$litmusdir" -a -r "$litmusdir" -a -x "$litmusdir"
26then
27	:
28else
29	echo ' --- ' error: $litmusdir is not an accessible directory
30	exit 255
31fi
32
33# Create any new directories that have appeared in the github litmus
34# repo since the last run.
35if test "$LKMM_DESTDIR" != "."
36then
37	find $litmusdir -type d -print |
38	( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
39fi
40
41# Find the checklitmus script.  If it is not where we expect it, then
42# assume that the caller has the PATH environment variable set
43# appropriately.
44if test -x scripts/checklitmus.sh
45then
46	clscript=scripts/checklitmus.sh
47else
48	clscript=checklitmus.sh
49fi
50
51# Run the script on all the litmus tests in the specified directory
52ret=0
53for i in $litmusdir/*.litmus
54do
55	if ! $clscript $i
56	then
57		ret=1
58	fi
59done
60if test "$ret" -ne 0
61then
62	echo " ^^^ VERIFICATION MISMATCHES" 1>&2
63else
64	echo All litmus tests verified as was expected. 1>&2
65fi
66exit $ret
67