TPTP CVS Infrastructure
Task documentation
Checking out the TPTP tests from CVS

1. Turn to the CVS Repository perspective: Window > Open Perspective > Other... > CVS Repository Exploring
2. In the CVS Repositories view, right click and select New > Repository Location ...
3. Fill in the wizard with the values as shown in this image: Host: dev.eclipse.org Repository path: /home/tptp User: your_userid Password: ********* Connection type: extssh Use default port: true Validate Connection on finish: true
4. Click Finish.
5. Expand the test-results folder.
Expand the new location, then the HEAD, then test-results.
6. Extract all subfolders from the test-results/<monitoring, platform, test or trace> subfolder(s) to the local workspace. That is, highlight the subfolder(s), right-click, and select Checkout.
7. To ensure having the latest testing resources in the local workspace, re-extract all subfolders from the test-results/<monitoring, platform, test or trace> subfolder(s) to the local workspace at the beginning of each unit of work (e.g. test pass, report generation, etc.).