Importing an existing JUnit test

If you already have JUnit tests outside TPTP, these can be imported into a TPTP JUnit test as follows:

Step 1

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

Otherwise, first import the Java source/class files from the file system into a Java project using: File/Import/File system:

Click on Next; this will result in the File system import dialog being displayed:

Browse to the required directory, then navigate to (and select) the relevant files and click on Finish.

Step 2

Once that stage is completed, then import relevant Java class files from the Java project using: File/Import/JUnit tests to TPTP:

Click on Next to display the JUnit Tests selection dialog:

Navigate to the required file(s) then click on Finish.

The outcome of a (successful) File/Import/JUnit tests to TPTP operation will be a TPTP JUnit Test File associated with the imported package / class.

Note that the import wizard shows all existing JUnit TestCases 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.