memory-model/scripts/checklitmus.sh

0001 #!/bin/sh
0002 # SPDX-License-Identifier: GPL-2.0+
0003 #
0004 # Run a herd7 test and invokes judgelitmus.sh to check the result against
0005 # a "Result:" comment within the litmus test.  It also outputs verification
0006 # results to a file whose name is that of the specified litmus test, but
0007 # with ".out" appended.
0008 #
0009 # Usage:
0010 #       checklitmus.sh file.litmus
0011 #
0012 # Run this in the directory containing the memory model, specifying the
0013 # pathname of the litmus test to check.  The caller is expected to have
0014 # properly set up the LKMM environment variables.
0015 #
0016 # Copyright IBM Corporation, 2018
0017 #
0018 # Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
0019
0020 litmus=$1
0021 herdoptions=${LKMM_HERD_OPTIONS--conf linux-kernel.cfg}
0022
0023 if test -f "$litmus" -a -r "$litmus"
0024 then
0025         :
0026 else
0027         echo ' --- ' error: \"$litmus\" is not a readable file
0028         exit 255
0029 fi
0030
0031 echo Herd options: $herdoptions > $LKMM_DESTDIR/$litmus.out
0032 /usr/bin/time $LKMM_TIMEOUT_CMD herd7 $herdoptions $litmus >> $LKMM_DESTDIR/$litmus.out 2>&1
0033
0034 scripts/judgelitmus.sh $litmus