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