diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-12-03 20:38:33 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-12-03 20:38:33 +0100 |
| commit | cf2089138e88489e76b2611b69fa566a60022726 (patch) | |
| tree | 584d89f8ea65e86c94bdf49715fb191b724517f9 /executor | |
| parent | d823a9221a3a017e5aec0d924a40c549f61eedf7 (diff) | |
support kmemleak
If you set "leak":true in manager config, it will do leak checking.
It's quite slow, though. Also there seems to be false positives
and/or non-reproducible leaks.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions