| TPTP 4.2 Line Level Coverage : which CVS module/package ? [message #79309] |
Tue, 01 August 2006 07:06  |
Eclipse User |
|
|
|
Hello,
I was wondering if TPTP 4.2 Line Level Coverage source & documentation was
currently under CVS ?
If yes, where can I find it (eg : Module name and package) ?
If not, is there somewhere some documentation on how to run Line Level
Coverage in batch mode under Linux.
I am particully interrested in documentation about ProbKit/Coverage
parametrization to be able tune CUT filtering & output information.
regards,
- Lucas
|
|
|
| Re: TPTP 4.2 Line Level Coverage : which CVS module/package ? [message #79404 is a reply to message #79309] |
Tue, 01 August 2006 11:18  |
| Eclipse User |
|
|
|
lucas bigeardel wrote:
> Hello,
>
> I was wondering if TPTP 4.2 Line Level Coverage source & documentation was
> currently under CVS ?
>
> If yes, where can I find it (eg : Module name and package) ?
>
> If not, is there somewhere some documentation on how to run Line Level
> Coverage in batch mode under Linux.
>
> I am particully interrested in documentation about ProbKit/Coverage
> parametrization to be able tune CUT filtering & output information.
>
> regards,
>
> - Lucas
On the dev.eclipse.org CVS repository under /cvsroot/tptp/platform, I
see four projects with "llc" (line level coverage) in the name... all
begin with org.eclipse.tptp.platform.llc and end with core, doc.user,
launch, and ui. Maybe this will get you started.
--
RDS
Randy D. Smith randy (dot) d (dot) smith (at) intel (dot) com
Eclipse TPTP Committer, Platform Proj (data collection/agent controller)
|
|
|
| Re: TPTP 4.2 Line Level Coverage : which CVS module/package ? [message #79419 is a reply to message #79404] |
Tue, 01 August 2006 11:28 |
| Eclipse User |
|
|
|
Thanks Randy !
I explore it right now.
- Lucas
"Randy D. Smith" <randy.d.smith@intel.com> wrote in message
news:eanrc2$rge$1@utils.eclipse.org...
> lucas bigeardel wrote:
>> Hello,
>>
>> I was wondering if TPTP 4.2 Line Level Coverage source & documentation
>> was currently under CVS ?
>>
>> If yes, where can I find it (eg : Module name and package) ?
>>
>> If not, is there somewhere some documentation on how to run Line Level
>> Coverage in batch mode under Linux.
>>
>> I am particully interrested in documentation about ProbKit/Coverage
>> parametrization to be able tune CUT filtering & output information.
>>
>> regards,
>>
>> - Lucas
>
> On the dev.eclipse.org CVS repository under /cvsroot/tptp/platform, I see
> four projects with "llc" (line level coverage) in the name... all begin
> with org.eclipse.tptp.platform.llc and end with core, doc.user, launch,
> and ui. Maybe this will get you started.
> --
> RDS
>
> Randy D. Smith randy (dot) d (dot) smith (at) intel (dot) com
> Eclipse TPTP Committer, Platform Proj (data collection/agent controller)
|
|
|
| Re: TPTP 4.2 Line Level Coverage : which CVS module/package ? [message #79570 is a reply to message #79309] |
Wed, 02 August 2006 10:14 |
| Eclipse User |
|
|
|
Originally posted by: nmehrega.ca.ibm.com
This is a multipart message in MIME format.
--=_alternative 004E5AB2852571BE_=
Content-Type: text/plain; charset="US-ASCII"
>I am particully interrested in documentation about ProbKit/Coverage
>parametrization to be able tune CUT filtering & output information.
Please see the following introductory doc on Probekit:
http://www.eclipse.org/tptp/platform/documents/probekit/prob ekit.html
Also take a look at the help content of TPTP.
Navid Mehregani
--=_alternative 004E5AB2852571BE_=
Content-Type: text/html; charset="US-ASCII"
<br><tt><font size=2>>I am particully interrested in documentation about
ProbKit/Coverage <br>
>parametrization to be able tune CUT filtering & output information.<br>
</font></tt>
<br>
<br><font size=2 face="sans-serif">Please see the following introductory
doc on Probekit: http://www.eclipse.org/tptp/platform/documents/probekit/prob ekit.html</font>
<br><font size=2 face="sans-serif">Also take a look at the help content
of TPTP.</font>
<br>
<br><font size=2 face="sans-serif">Navid Mehregani</font>
--=_alternative 004E5AB2852571BE_=--
|
|
|
Powered by
FUDForum. Page generated in 0.02857 seconds
Home