Importing an existing JUnit Plug-in test

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

Step 1

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

Step 2

Note that the import wizard shows all existing JUnit Plug-in 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 Plug-in tests were found in the workspace, or that all existing JUnit Plug-in test classes have already been imported to TPTP.