diff options
| author | Dean Deng <deandeng@google.com> | 2020-12-14 10:44:53 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-12-14 10:47:01 -0800 |
| commit | 65e4ed8fbe15e3a8ebf96fdacf439d30d8a0e491 (patch) | |
| tree | b2de965c5d31988928012e5ac77a90a2af327c71 /pkg/sentry/kernel/semaphore | |
| parent | ab593661efe4924369265a6b9f0dc719dcb371ab (diff) | |
Do not check for reference leaks after saving.
We should not assert that all resources are dropped after saving.
PiperOrigin-RevId: 347420131
Diffstat (limited to 'pkg/sentry/kernel/semaphore')
0 files changed, 0 insertions, 0 deletions