diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-03-20 12:39:27 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:14 -0700 |
| commit | 579ecb2e4108af3689b1b814fff23f6a69907dab (patch) | |
| tree | e79d566885fd4b9c3473209c03cf543260e98953 /include/target/target_core_base.h | |
| parent | e029374ba8483e1c59243a70bf0926f0ca8f54e2 (diff) | |
| download | lwn-579ecb2e4108af3689b1b814fff23f6a69907dab.tar.gz lwn-579ecb2e4108af3689b1b814fff23f6a69907dab.zip | |
tools/memory-model: Hardware checking for check{,all}litmus.sh
This commit makes checklitmus.sh and checkalllitmus.sh check to see
if a hardware verification was specified (via the --hw command-line
argument, which sets the LKMM_HW_MAP_FILE environment variable).
If so, the C-language litmus test is converted to the specified type
of assembly-language litmus test and herd is run on it. Hardware is
permitted to be stronger than LKMM requires, so "Always" and "Never"
verifications of "Sometimes" C-language litmus tests are forgiven.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'include/target/target_core_base.h')
0 files changed, 0 insertions, 0 deletions