/tools/memory-model/scripts/

• ../
• checkalllitmus.sh
• checklitmus.sh