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