summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/litmus-tests/LB+unlocklockonceonce+poacquireonce.litmus
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) orderingBoqun Feng2021-11-301-0/+35