1 #!/bin/bash
2 # SPDX-License-Identifier: GPL-2.0+
3 #
4 # Run herd7 tests on all .litmus files in the
5 # and check each file's result against a "Resu
6 # litmus test. If the verification result doe
7 # in the litmus test, this script prints an er
8 # "^^^". It also outputs verification results
9 # that of the specified litmus test, but with
10 #
11 # If the --hw argument is specified, this scri
12 # C-language file to the specified type of ass
13 # But in this case, litmus tests using complex
14 # locking, RCU, and SRCU) are cheerfully ignor
15 #
16 # Usage:
17 # checkalllitmus.sh
18 #
19 # Run this in the directory containing the mem
20 #
21 # This script makes no attempt to run the litm
22 #
23 # Copyright IBM Corporation, 2018
24 #
25 # Author: Paul E. McKenney <paulmck@linux.ibm.c
26
27 . scripts/parseargs.sh
28
29 litmusdir=litmus-tests
30 if test -d "$litmusdir" -a -r "$litmusdir" -a
31 then
32 :
33 else
34 echo ' --- ' error: $litmusdir is not
35 exit 255
36 fi
37
38 # Create any new directories that have appeare
39 # directory since the last run.
40 if test "$LKMM_DESTDIR" != "."
41 then
42 find $litmusdir -type d -print |
43 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdi
44 fi
45
46 # Run the script on all the litmus tests in th
47 ret=0
48 for i in $litmusdir/*.litmus
49 do
50 if test -n "$LKMM_HW_MAP_FILE" && ! sc
51 then
52 continue
53 fi
54 if ! scripts/checklitmus.sh $i
55 then
56 ret=1
57 fi
58 done
59 if test "$ret" -ne 0
60 then
61 echo " ^^^ VERIFICATION MISMATCHES" 1>
62 else
63 echo All litmus tests verified as was
64 fi
65 exit $ret
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.