tree 34444dfa5baeda5266d9dcb03964d0f0950740e0
parent f0d5cf9a0c7fe8742b3a8ddaf26d4e00a5a564c3
author Gilles Peskine <Gilles.Peskine@arm.com> 1699031138 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1699299199 +0100

Add metatests for mutex usage

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>