diff options
Diffstat (limited to 'tools/execprog/execprog.go')
| -rw-r--r-- | tools/execprog/execprog.go | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/execprog/execprog.go b/tools/execprog/execprog.go index 2521426f8..8f642fc66 100644 --- a/tools/execprog/execprog.go +++ b/tools/execprog/execprog.go @@ -26,6 +26,7 @@ var ( flagDebug = flag.Bool("debug", true, "debug output from executor") flagStrace = flag.Bool("strace", false, "run executor under strace") flagCover = flag.String("cover", "", "collect coverage and write to the file") + flagDedup = flag.Bool("dedup", false, "deduplicate coverage in executor") ) func main() { @@ -53,6 +54,9 @@ func main() { if *flagCover != "" { flags |= ipc.FlagCover } + if *flagDedup { + flags |= ipc.FlagDedupCover + } env, err := ipc.MakeEnv(*flagExecutor, 3*time.Second, flags) if err != nil { fmt.Fprintf(os.Stderr, "failed to create execution environment: %v\n", err) |