diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-02-06 15:58:22 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-02-06 15:58:22 +0100 |
| commit | 3bb708b4c5a2dd7b11d0165d5a2f8e10cdfafe37 (patch) | |
| tree | 12737d3d2a9aec3e73fb805c9f873b691154db6d /ipc | |
| parent | aa4eef3ecfed387f6579cb5bb6b3562c4f9bbd64 (diff) | |
ipc: print call number on corrupted output region
Diffstat (limited to 'ipc')
| -rw-r--r-- | ipc/ipc.go | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ipc/ipc.go b/ipc/ipc.go index a014ab56b..ceff20134 100644 --- a/ipc/ipc.go +++ b/ipc/ipc.go @@ -274,8 +274,8 @@ func (env *Env) readOutCoverage(p *prog.Prog) (info []CallInfo, err0 error) { } c := p.Calls[callIndex] if num := c.Meta.ID; uint32(num) != callNum { - err0 = fmt.Errorf("executor %v: failed to read output coverage: call %v: expect syscall %v, got %v, executed %v (cov: %v)", - env.pid, callIndex, num, callNum, ncmd, dumpCov()) + err0 = fmt.Errorf("executor %v: failed to read output coverage: record %v call %v: expect syscall %v, got %v, executed %v (cov: %v)", + env.pid, i, callIndex, num, callNum, ncmd, dumpCov()) return } if info[callIndex].Signal != nil { |