diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-06 15:52:21 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-09 09:22:14 +0100 |
| commit | 93ba52cbd752117fede23daf5d9bd96094dae25c (patch) | |
| tree | b01d8e23128381334110d6629df0f3ab0d73ed01 /executor/test_linux.h | |
| parent | 4e66c6f399b8e6de865c5c00e24ce7941ffc4b74 (diff) | |
executor: use coverage filter for comparisons
Filter out all comparisons in non-interesting code.
Comparisons are expensive, so it makes lots of sense,
these filtered out can't give us any new interesting signal.
Diffstat (limited to 'executor/test_linux.h')
0 files changed, 0 insertions, 0 deletions