Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 126425

Summary:	Migrate the probekit test cases into TPTP
Product:	z_Archived	Reporter:	Navid Mehregani <nmehrega>
Component:	TPTP	Assignee:	Navid Mehregani <nmehrega>
Status:	CLOSED FIXED	QA Contact:
Severity:	normal
Priority:	P3
Version:	unspecified
Target Milestone:	---
Hardware:	PC
OS:	All
Whiteboard:

Description Navid Mehregani

2006-02-03 17:12:32 EST

Migrate the probekit test cases into TPTP.  There should be enough test cases to cover most of the use cases.  Test cases should be automated as much as possible.

Allan, please assign this enhancement to me.

Comment 1 Sri Doddapaneni

2006-03-08 18:29:44 EST

Part of bug#109684.

Comment 2 Navid Mehregani

2006-04-06 10:37:47 EDT

Test cases for probekit have been created.  They will be automated in I3.  I will automate as many of them as possible in I2.

Comment 3 Navid Mehregani

2006-05-05 14:37:12 EDT

Automated AGR test cases as well as TPTP Plugin JUnit test cases have been committed to CVS in test-results/platform/org.eclipse.hyades.probekit.tests.

Comment 4 Navid Mehregani

2006-05-05 14:37:28 EDT

Verified and closing.