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, 1 Dec 2021 01:48:15 +0000 (17:48 -0800)
commitb8eff65fa1f9b6747a391f5694b9b601323120b6
tree2151ed59a9c78aecc1a6bb23b8c5d4cfe799b0c0
parent6d0d9fa50f25e2697644164eabd501a92e6269a1
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]