Re: [cosmos-dev] i10 stable driver ( COSMOS-1.0.0-200804270312)

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [cosmos-dev] i10 stable driver ( COSMOS-1.0.0-200804270312)

From: David Whiteman <david_whiteman@xxxxxxxxxx>
Date: Fri, 02 May 2008 07:15:54 -0400
Delivered-to: cosmos-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/cosmos-dev>
List-help: <mailto:cosmos-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/cosmos-dev>, <mailto:cosmos-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/cosmos-dev>, <mailto:cosmos-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Thunderbird 2.0.0.12 (Windows/20080213)

Simmonds, Martin wrote:


Are you talking about TPTP Manual tests also ?

Yes, all of them are part of the test report, and only get there ifJagmit knows to add them.


David

References:
- [cosmos-dev] i10 stable driver ( COSMOS-1.0.0-200804270312)
  - From: Jagmit Singh
- Re: [cosmos-dev] i10 stable driver ( COSMOS-1.0.0-200804270312)
  - From: David Whiteman
- RE: [cosmos-dev] i10 stable driver ( COSMOS-1.0.0-200804270312)
  - From: Simmonds, Martin

Prev by Date: RE: [cosmos-dev] i10 stable driver ( COSMOS-1.0.0-200804270312)
Next by Date: Re: [cosmos-dev] Proposals for New Meeting Schedule
Previous by thread: RE: [cosmos-dev] i10 stable driver ( COSMOS-1.0.0-200804270312)
Next by thread: [cosmos-dev] Rescheduled: COSMOS Weekly Community Call (May 7 10:00 AM EDT)
Index(es):
- Date
- Thread

Back to the top