If no machine or no project has been opened, the Project View will allow you to create a project. If you choose to open a machine without having a project, a default project will be created.
The Project View contains four tabs:
This Tab shows the machines, that currently belong to the project. You can create new machines or add existing ones using the plus-button. The order of the machines in the project can be changed with the arrow-buttons. A small green circle next to the machine indicates, that this machine is currently loaded. Right-Clicking on one of the machines opens the context-menu, offering several methods to edit machines, start animations (with customized preferences, if those are added), or remove machines from the list.
This tab shows the status of each type of verification run on the machines contained by the project. If no test of a specific verification type has been run, a grey circle is shown. If the verification type could not recognize any failures, a green checkmark will be displayed. If a test failed, a red X will be shown.
This tab allows to add, edit and remove preference settings. When adding a preference using the plus-button, a window opens, where you're allowed to choose a name for the preference and different options for customized settings. Each preference will be shown in a list in the tab and can be removed or edited by right-clicking on a specific preference.
The screenshot above shows the window for adding and editing preferences.
This tab shows the name and the description of the current project. Both are either automatically generated by opening a machine or chosen by the user who manually created the project and can be changed by double clicking on each respectively.