checkalllitmus - Robuta Search

https://android.googlesource.com/kernel/common/+/3856ad0c3e3028d54c8dac960dec411e45c13146/tools/memory-model/scripts/checkalllitmus.sh tools/memory-model/scripts/checkalllitmus.sh - kernel/common - Git at Google memory model tools scripts