From 5ff4e14cb180c466760b0d57241479a300d0d8e5 Mon Sep 17 00:00:00 2001 From: Andrey Konovalov Date: Mon, 23 Sep 2019 19:52:26 +0200 Subject: pkg/runtest: allow empty signal --- pkg/runtest/run.go | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'pkg') diff --git a/pkg/runtest/run.go b/pkg/runtest/run.go index e380ad490..0248b0b31 100644 --- a/pkg/runtest/run.go +++ b/pkg/runtest/run.go @@ -475,8 +475,10 @@ func checkResult(req *RunRequest) error { if req.Cfg.Flags&ipc.FlagSignal != 0 { // Signal is always deduplicated, so we may not get any signal // on a second invocation of the same syscall. + // For calls that are not meant to collect synchronous coverage we + // allow the signal to be empty as long as the extra signal is not. callName := req.P.Calls[i].Meta.CallName - if len(inf.Signal) < 2 && !calls[callName] { + if len(inf.Signal) < 2 && !calls[callName] && len(info.Extra.Signal) == 0 { return fmt.Errorf("run %v: call %v: no signal", run, i) } if len(inf.Cover) == 0 { -- cgit mrf-deployment