From ebd4cf5abe35b4d122640cf16b811d62de45be82 Mon Sep 17 00:00:00 2001 From: Aleksandr Nogikh Date: Mon, 27 May 2024 16:38:09 +0200 Subject: 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. --- docs/syscall_descriptions_syntax.md | 1 + 1 file changed, 1 insertion(+) (limited to 'docs/syscall_descriptions_syntax.md') 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 -- cgit mrf-deployment