tree 5571c4e1bc6e0400a4739c12dd746a1b6103b7d5
parent e5f4a9dcac27e19b5a4927a47d997dcb46823df3
author Jake Ehrlich <jakehehrlich@google.com> 1535427532 -0700
committer Jake Ehrlich <jakehehrlich@google.com> 1535601570 -0700

[covargs] Introduce covargs tool

This tool takes in many sources of information, merges them,
then allows many commands to be executed based on that information.
It's like xargs but for coverage information. See ExampleMain for
details on how to run it.

Change-Id: I7b1a0f663c5942b42af4a35d28b7b78d04cf05c3