diff options
author | Ghanan Gowripalan <ghanan@google.com> | 2021-09-16 19:50:00 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2021-09-16 19:52:51 -0700 |
commit | 85bd3dd9b119cbc5a68b778a18ae73d3567ff610 (patch) | |
tree | 1f43d6c067c369b69ed0acefa1e27a3299acf9cb /pkg/coverage | |
parent | eccd46e67c75e164ca0e700dddc61cc1556be8d2 (diff) |
Annotate checklocks on mutex protected fields
...to catch lock-related bugs in nogo tests.
Checklocks also pointed out a locking violation which is fixed
in this change.
Updates #6566.
PiperOrigin-RevId: 397225322
Diffstat (limited to 'pkg/coverage')
0 files changed, 0 insertions, 0 deletions