| David Brazdil | 0f672f6 | 2019-12-10 10:32:29 +0000 | [diff] [blame^] | 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 | herd7 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 herd7 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 |