tools/memory-model: Add checktheselitmus.sh to run specified litmus tests
authorPaul E. McKenney <paulmck@kernel.org>
Thu, 2 May 2019 17:05:14 +0000 (10:05 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Wed, 2 Feb 2022 01:33:29 +0000 (17:33 -0800)
commit000de0eb9f23640fd518de23fb028de15943e9d1
treec6c1f2f8cc996787145e9900e4ae01993c7f51be
parented88ea03c18236278fa9be74d5f4caec0d21e16d
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>
tools/memory-model/scripts/README
tools/memory-model/scripts/checktheselitmus.sh [new file with mode: 0755]