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. --- prog/types.go | 1 + 1 file changed, 1 insertion(+) (limited to 'prog') diff --git a/prog/types.go b/prog/types.go index 859f9d126..1e2f4dcd4 100644 --- a/prog/types.go +++ b/prog/types.go @@ -44,6 +44,7 @@ type SyscallAttrs struct { BreaksReturns bool NoGenerate bool NoMinimize bool + RemoteCover bool } // MaxArgs is maximum number of syscall arguments. -- cgit mrf-deployment