don't trim programs on syscall that gives new coverage

Threaded execution mode can execute following syscalls and they can affect
coverage of the call in question. Trimming should be handled by minimization.
This commit is contained in:
Dmitry Vyukov 2015-10-16 22:35:16 +02:00
parent fb190a7fb9
commit 62ed8ca7b6

View File

@ -256,9 +256,7 @@ func execute(env *ipc.Env, p *prog.Prog) {
diff := cover.Difference(cov, maxCover[c.CallID])
diff = cover.Difference(diff, flakes)
if len(diff) != 0 {
p1 := p.Clone()
p1.TrimAfter(i)
triage = append(triage, Input{p1, i, cover.Copy(cov)})
triage = append(triage, Input{p.Clone(), i, cover.Copy(cov)})
}
}
}