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

Bug 212393

Summary: JUnit-based test generation is broken.
Product: z_Archived Reporter: Paul Slauenwhite <paulslau>
Component: TPTPAssignee: Paul Slauenwhite <paulslau>
Status: CLOSED FIXED QA Contact:
Severity: blocker    
Priority: P1 Keywords: plan
Version: unspecified   
Target Milestone: ---   
Hardware: All   
OS: All   
Whiteboard:

Description Paul Slauenwhite CLA 2007-12-10 07:45:04 EST
JUnit-based test generation is broken.

When using the http://www.eclipse.org/tptp/home/downloads/?buildId=TPTP-4.5.0-200712070935 build, when generating a JUnit-based test, the class name in the test class is String, and each of the test methods are string<n>().
Comment 1 Paul Slauenwhite CLA 2007-12-10 09:56:47 EST
Code checked-in to CVS (HEAD).
Comment 2 Paul Slauenwhite CLA 2007-12-17 08:48:47 EST
Verified in TPTP-4.5.0-200712160400.

Closing.