b6ff30849ca7 ("tools/memory-model: Label MP tests' producers and consumers")
acc4bdc55dcb ("tools/memory-model: Use "buf" and "flag" for message-passing tests")
1947bfcf81a9 ("tools/memory-model: Add types to litmus tests")