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.

Step 2

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.