Creating a workbench location

A workbench location is used to specify where a TPTP JUnit Plug-in test will run.

1. Select File > New > Other > Workbench Location > Test > Test Assets. Click Next.
2. In the "Enter or select the parent folder" field, type pluginProj/src. In the Name field type workLOC.
3. Click Next to launch the Workbench Details dialog.
   • Select 'On the local workbench' if local deployment is required; otherwise select 'On another workbench' and provide the Host name, address, and the relevant Eclipse installation directory.
   • If you want the same Eclipse instance to be reused (i.e. it will not shutdown and restart between test runs), then check the 'Allow the same instance to be reused' check box. Similarly, if you require a headless workbench or to run tests in the UI thread, check the appropriate check boxes in the dialog.
4. Click Next and provide a description of your workbench location if required.
5. Click Finish. The workbench location editor will open with the Overview tab open. (If not, double-click on the workLOC location file.)