summaryrefslogtreecommitdiffhomepage
path: root/pkg/coverage
diff options
context:
space:
mode:
authorGhanan Gowripalan <ghanan@google.com>2021-09-16 19:50:00 -0700
committergVisor bot <gvisor-bot@google.com>2021-09-16 19:52:51 -0700
commit85bd3dd9b119cbc5a68b778a18ae73d3567ff610 (patch)
tree1f43d6c067c369b69ed0acefa1e27a3299acf9cb /pkg/coverage
parenteccd46e67c75e164ca0e700dddc61cc1556be8d2 (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