Re: [RFC PATCH] Coverage support

Frediano Ziglio
Fri, 01 Feb 2013 15:46:17 -0000

On Fri, 2013-02-01 at 14:48 +0000, Frediano Ziglio
wrote:
> Updated set of patches for coverage.
> Changes:
> - implemented way of getting information
> - use only 2 parameter in hypercall (still not sure it's better to use
>   sysctl)
> - use "coverage" for configuration option as suggested by Ian
Campbell
> - split header in include/public/gcov.h and include/xen/gcov.h to allow
>   tools to include public header
> - use weak to avoid defining compat_coverage_op
>
> I manage to write 2 tools, one that call the new hypercall and dump the
> blob in a file, one that split this file into required .gcda files.
> Both very hack ones and dirty but works and prove the hypervisor code is
> fine. Should I just send them anyway?
>
> The forth patch allow to consume just 0 bytes if coverage is disabled.
>

These are the two utilities. If anybody wants to try.

Frediano




_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org