0001 ============
0002 LKMM SCRIPTS
0003 ============
0004
0005
0006 These scripts are run from the tools/memory-model directory.
0007
0008 checkalllitmus.sh
0009
0010 Run all litmus tests in the litmus-tests directory, checking
0011 the results against the expected results recorded in the
0012 "Result:" comment lines.
0013
0014 checkghlitmus.sh
0015
0016 Run all litmus tests in the https://github.com/paulmckrcu/litmus
0017 archive that are C-language and that have "Result:" comment lines
0018 documenting expected results, comparing the actual results to
0019 those expected.
0020
0021 checklitmushist.sh
0022
0023 Run all litmus tests having .litmus.out files from previous
0024 initlitmushist.sh or newlitmushist.sh runs, comparing the
0025 herd7 output to that of the original runs.
0026
0027 checklitmus.sh
0028
0029 Check a single litmus test against its "Result:" expected result.
0030
0031 cmplitmushist.sh
0032
0033 Compare output from two different runs of the same litmus tests,
0034 with the absolute pathnames of the tests to run provided one
0035 name per line on standard input. Not normally run manually,
0036 provided instead for use by other scripts.
0037
0038 initlitmushist.sh
0039
0040 Run all litmus tests having no more than the specified number
0041 of processes given a specified timeout, recording the results
0042 in .litmus.out files.
0043
0044 judgelitmus.sh
0045
0046 Given a .litmus file and its .litmus.out herd7 output, check the
0047 .litmus.out file against the .litmus file's "Result:" comment to
0048 judge whether the test ran correctly. Not normally run manually,
0049 provided instead for use by other scripts.
0050
0051 newlitmushist.sh
0052
0053 For all new or updated litmus tests having no more than the
0054 specified number of processes given a specified timeout, run
0055 and record the results in .litmus.out files.
0056
0057 parseargs.sh
0058
0059 Parse command-line arguments. Not normally run manually,
0060 provided instead for use by other scripts.
0061
0062 runlitmushist.sh
0063
0064 Run the litmus tests whose absolute pathnames are provided one
0065 name per line on standard input. Not normally run manually,
0066 provided instead for use by other scripts.
0067
0068 README
0069
0070 This file
