]>
Commit | Line | Data |
---|---|---|
b02eb5b0 PM |
1 | ============ |
2 | LKMM SCRIPTS | |
3 | ============ | |
4 | ||
5 | ||
6 | These scripts are run from the tools/memory-model directory. | |
7 | ||
8 | checkalllitmus.sh | |
9 | ||
10 | Run all litmus tests in the litmus-tests directory, checking | |
11 | the results against the expected results recorded in the | |
12 | "Result:" comment lines. | |
13 | ||
14 | checkghlitmus.sh | |
15 | ||
16 | Run all litmus tests in the https://github.com/paulmckrcu/litmus | |
17 | archive that are C-language and that have "Result:" comment lines | |
18 | documenting expected results, comparing the actual results to | |
19 | those expected. | |
20 | ||
21 | checklitmushist.sh | |
22 | ||
23 | Run all litmus tests having .litmus.out files from previous | |
24 | initlitmushist.sh or newlitmushist.sh runs, comparing the | |
25 | herd output to that of the original runs. | |
26 | ||
27 | checklitmus.sh | |
28 | ||
29 | Check a single litmus test against its "Result:" expected result. | |
30 | ||
31 | cmplitmushist.sh | |
32 | ||
33 | Compare output from two different runs of the same litmus tests, | |
34 | with the absolute pathnames of the tests to run provided one | |
35 | name per line on standard input. Not normally run manually, | |
36 | provided instead for use by other scripts. | |
37 | ||
38 | initlitmushist.sh | |
39 | ||
40 | Run all litmus tests having no more than the specified number | |
41 | of processes given a specified timeout, recording the results | |
42 | in .litmus.out files. | |
43 | ||
44 | judgelitmus.sh | |
45 | ||
46 | Given a .litmus file and its .litmus.out herd output, check the | |
47 | .litmus.out file against the .litmus file's "Result:" comment to | |
48 | judge whether the test ran correctly. Not normally run manually, | |
49 | provided instead for use by other scripts. | |
50 | ||
51 | newlitmushist.sh | |
52 | ||
53 | For all new or updated litmus tests having no more than the | |
54 | specified number of processes given a specified timeout, run | |
55 | and record the results in .litmus.out files. | |
56 | ||
57 | parseargs.sh | |
58 | ||
59 | Parse command-line arguments. Not normally run manually, | |
60 | provided instead for use by other scripts. | |
61 | ||
62 | runlitmushist.sh | |
63 | ||
64 | Run the litmus tests whose absolute pathnames are provided one | |
65 | name per line on standard input. Not normally run manually, | |
66 | provided instead for use by other scripts. | |
67 | ||
68 | README | |
69 | ||
70 | This file |