3 # Run herd tests on all .litmus files in the specified directory (which
4 # defaults to litmus-tests) and check each file's result against a "Result:"
5 # comment within that litmus test. If the verification result does not
6 # match that specified in the litmus test, this script prints an error
7 # message prefixed with "^^^". It also outputs verification results to
8 # a file whose name is that of the specified litmus test, but with ".out"
12 # sh checkalllitmus.sh [ directory ]
14 # The LINUX_HERD_OPTIONS environment variable may be used to specify
15 # arguments to herd, whose default is defined by the checklitmus.sh script.
16 # Thus, one would normally run this in the directory containing the memory
17 # model, specifying the pathname of the litmus test to check.
19 # This script makes no attempt to run the litmus tests concurrently.
21 # This program is free software; you can redistribute it and/or modify
22 # it under the terms of the GNU General Public License as published by
23 # the Free Software Foundation; either version 2 of the License, or
24 # (at your option) any later version.
26 # This program is distributed in the hope that it will be useful,
27 # but WITHOUT ANY WARRANTY; without even the implied warranty of
28 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
29 # GNU General Public License for more details.
31 # You should have received a copy of the GNU General Public License
32 # along with this program; if not, you can access it online at
33 # http://www.gnu.org/licenses/gpl-2.0.html.
35 # Copyright IBM Corporation, 2018
37 # Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
39 litmusdir=${1-litmus-tests}
40 if test -d "$litmusdir" -a -r "$litmusdir" -a -x "$litmusdir"
44 echo ' --- ' error: $litmusdir is not an accessible directory
48 # Find the checklitmus script. If it is not where we expect it, then
49 # assume that the caller has the PATH environment variable set
51 if test -x scripts/checklitmus.sh
53 clscript=scripts/checklitmus.sh
55 clscript=checklitmus.sh
58 # Run the script on all the litmus tests in the specified directory
60 for i in litmus-tests/*.litmus
69 echo " ^^^ VERIFICATION MISMATCHES"
71 echo All litmus tests verified as was expected.