[news.eclipse.tptp] TPTP 4.2 Line Level Coverage : which CVS module/pack

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[news.eclipse.tptp] TPTP 4.2 Line Level Coverage : which CVS module/package ?

From: "lucas bigeardel" <lucas.bigeardel@xxxxxxxxx>
Date: Tue, 1 Aug 2006 12:06:19 +0100
Newsgroups: eclipse.tptp
Organization: EclipseCorner

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

Follow-Ups:
- [news.eclipse.tptp] Re: TPTP 4.2 Line Level Coverage : which CVS module/package ?
  - From: Navid_Mehregani
- [news.eclipse.tptp] Re: TPTP 4.2 Line Level Coverage : which CVS module/package ?
  - From: Randy D. Smith

Prev by Date: [news.eclipse.tptp] Re: Profiling: Compare profiling data
Next by Date: [news.eclipse.tptp] TPTP stops processing events
Previous by thread: [news.eclipse.tptp] In need of suggestions debugging the TPTP
Next by thread: [news.eclipse.tptp] Re: TPTP 4.2 Line Level Coverage : which CVS module/package ?
Index(es):
- Date
- Thread