diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-08-31 17:52:35 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-08-31 19:20:27 +0200 |
| commit | 54d923bb5da4f936ae53cceaf2c3e72c428bce10 (patch) | |
| tree | d6df2bc64155a2661e91b802e34639938bf51ae9 /executor/syscalls.h | |
| parent | 365791764bd20256489bf7127daca27134a25cc5 (diff) | |
manager: mark covered lines with /*covered*/
Mark covered lines with /*covered*/ in coverage report,
so that it is possible to quickly find if there are few of them.
Diffstat (limited to 'executor/syscalls.h')
0 files changed, 0 insertions, 0 deletions