Project View: Difference between revisions - ProB Documentation

Project View: Difference between revisions

Created page with "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 w..."
(No difference)

Revision as of 08:04, 20 September 2017

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 several tabs:

  • Project, containing name and description
  • Machines, containing machines added to this project
  • Preferences, containing custom preferences
  • Run Configurations, containing machines paired with preferences (each pair has its own entry)