Importing an existing JUnit test

If you have JUnit tests outside of TPTP, these can be imported into a TPTP JUnit test.

Step 1

If the tests are already within an existing Eclipse Java project, then go to Step 2.

• Otherwise, first import the Java source and class files from the file system into a Java project by clicking File > Import > File system.
• Click Next. The File system import dialog launches.
• Browse to the required directory, then navigate to, and select, the relevant files. Click Finish.

Step 2

• Once the files are in your Eclipse workbench, then import the relevant Java class files from the Java project by clicking File > Import > JUnit tests to TPTP.
• Click Next to display the JUnit Tests selection dialog.
• Navigate to the required files and then click on Finish.
• The outcome of a successful import operation will be a TPTP JUnit Test File associated with the imported package or class.

Note that the import wizard shows all existing JUnit test cases in the workspace that have not already been imported to TPTP. If this list is empty, then it means that either no JUnit tests were found in the workspace, or that all existing JUnit test classes have already been imported to TPTP.