diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-05-27 16:38:09 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-05-27 15:28:45 +0000 |
| commit | ebd4cf5abe35b4d122640cf16b811d62de45be82 (patch) | |
| tree | eb8ecbf9db1892af2a41f3ecc2efda264ac996e3 /docs | |
| parent | a717135de7c6fd18fe22065264a8d835ce931a25 (diff) | |
prog: introduce a remote_cover call attribute
Update the descriptions to mark calls that cause remote coverage
collection.
Remote some hacky code from the executor.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/syscall_descriptions_syntax.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/syscall_descriptions_syntax.md b/docs/syscall_descriptions_syntax.md index fe3b72a3e..4c3fff882 100644 --- a/docs/syscall_descriptions_syntax.md +++ b/docs/syscall_descriptions_syntax.md @@ -101,6 +101,7 @@ Call attributes are: "breaks_returns": ignore return values of all subsequent calls in the program in fallback feedback (can't be trusted). "no_generate": do not try to generate this syscall, i.e. use only seed descriptions to produce it. "no_minimize": do not modify instances of this syscall when trying to minimize a crashing program. +"remote_cover": wait longer to collect remote coverage for this call. ``` ## Ints |