summaryrefslogtreecommitdiff
path: root/tools/memory-model/litmus-tests/MP+unlocklockonceonce+fencermbonceonce.litmus
AgeCommit message (Expand)AuthorFilesLines
2021-12-01tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) orderingBoqun Feng1-0/+33