diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-05-02 10:05:14 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:15 -0700 |
| commit | df0f675065bf003c4f182941f62b01b06be97182 (patch) | |
| tree | dc45534f0920be40898780fd8c21fcbfa054b7bc /tools/memory-model/scripts/README | |
| parent | a4deb29a1ddff4513daa3844ef4958d089631a6c (diff) | |
| download | linux-df0f675065bf003c4f182941f62b01b06be97182.tar.gz linux-df0f675065bf003c4f182941f62b01b06be97182.tar.bz2 linux-df0f675065bf003c4f182941f62b01b06be97182.zip | |
tools/memory-model: Add checktheselitmus.sh to run specified litmus tests
This commit adds a checktheselitmus.sh script that runs the litmus tests
specified on the command line. This is useful for verifying fixes to
specific litmus tests.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'tools/memory-model/scripts/README')
| -rw-r--r-- | tools/memory-model/scripts/README | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/memory-model/scripts/README b/tools/memory-model/scripts/README index 0e29a52044c1..cc2c4e5be9ec 100644 --- a/tools/memory-model/scripts/README +++ b/tools/memory-model/scripts/README @@ -27,6 +27,14 @@ checklitmushist.sh checklitmus.sh Check a single litmus test against its "Result:" expected result. + Not intended to for manual use. + +checktheselitmus.sh + + Check the specified list of litmus tests against their "Result:" + expected results. This takes optional parseargs.sh arguments, + followed by "--" followed by pathnames starting from the current + directory. cmplitmushist.sh |