All of lore.kernel.org
 help / color / mirror / Atom feed
From: George Dunlap <george.dunlap@eu.citrix.com>
To: Frediano Ziglio <frediano.ziglio@citrix.com>
Cc: "konrad@kernel.org" <konrad@kernel.org>,
	"Keir (Xen.org)" <keir@xen.org>,
	Ian Campbell <Ian.Campbell@citrix.com>,
	"JBeulich@suse.com" <JBeulich@suse.com>,
	"xen-devel@lists.xen.org" <xen-devel@lists.xen.org>
Subject: Re: [PATCH v7] cover: Coverage support
Date: Thu, 7 Feb 2013 14:52:42 +0000	[thread overview]
Message-ID: <5113BFBA.70200@eu.citrix.com> (raw)
In-Reply-To: <7CE799CC0E4DE04B88D5FDF226E18AC201058D458374@LONPMAILBOX01.citrite.net>

On 07/02/13 14:32, Frediano Ziglio wrote:
> On Thu, 2013-02-07 at 11:57 +0000, George Dunlap wrote:
>> On 07/02/13 11:27, Frediano Ziglio wrote:
>>> Updated set of patches for coverage.
>>>
>>> Changes:
>>> - remove operation to check if coverage enabled
>>> - add operation to read and reset coverage at same time
>>> - updated utility to refrect changes above
>>>
>> I've done a once-over and in principle I think this is a good series.
>> Thanks for doing it -- I think Xen has needed this for some time.  Just
>> a couple of high-level comments (and I haven't been following the
>> discussion, so please forgive me if I'm contradicting something someone
>> said somewhere else):
>>
>> First, re the name -- is there any reason not to call it "gcov" (or
>> "xgcov" or something like that) in the patch series and the Xen
>> command-line option?  Since we're using the gcov format and the intent
>> (I presume) is to use the gcov tools to do the actual analysis,
>>
> Do you mean gcov on first commit line? That's fine.
>
> For the tool I used xencov like xenperf and xentrace. cov instead of
> gcov allow to change the compiler in the future (I don't know,
> clang/llvm perhaps?).

You know, for some reason I thought there was also a Xen command-line 
option as well, but there doesn't seem to be; just the option in 
Config.mk.  Sorry, my mistake.

>
>> Secondly, there doesn't seem to be any documentation.  A definition of
>> the Xen command-line term is an absolute minimum, and a brief markdown
>> how-to explaining how to enable the option and use it would be much
>> appreciated.
>>
> You are right. I need some direction however. Which documentation are
> you referring at? Wiki, internal one (docs directory in
> xen-unstable.hg)?

Well thinking that there was a Xen command-line option, I meant 
docs/misc/xen-command-line.markdown; but you can forget that now. :-)  
Adding a basic HOWTO to docs/misc/ in the markdown format would be 
appreciated as well.  There are some other examples in there to give you 
an idea what we might be after.

Following suit with small tools like xentrace, xenperf, &c, I think that 
as long as "xencov -h" gives you something useful, you don't need a man 
page.

  -George

      reply	other threads:[~2013-02-07 14:52 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-02-07 11:27 [PATCH v7] cover: Coverage support Frediano Ziglio
2013-02-07 11:27 ` [PATCH 1/4] cover: Call constructors during initialization Frediano Ziglio
2013-02-07 11:28 ` [PATCH 2/4] cover: Adding support for coverage information Frediano Ziglio
2013-02-07 11:59   ` George Dunlap
2013-02-07 13:01     ` Frediano Ziglio
2013-02-07 11:28 ` [PATCH 3/4] cover: Implement code to read coverage informations Frediano Ziglio
2013-02-07 11:28 ` [PATCH 4/4] cover: Add small utility to deal with test coverage information from Xen Frediano Ziglio
2013-02-07 11:57 ` [PATCH v7] cover: Coverage support George Dunlap
2013-02-07 14:32   ` Frediano Ziglio
2013-02-07 14:52     ` George Dunlap [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=5113BFBA.70200@eu.citrix.com \
    --to=george.dunlap@eu.citrix.com \
    --cc=Ian.Campbell@citrix.com \
    --cc=JBeulich@suse.com \
    --cc=frediano.ziglio@citrix.com \
    --cc=keir@xen.org \
    --cc=konrad@kernel.org \
    --cc=xen-devel@lists.xen.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.