Configure Model Checker

Save configurations for future use, import existing configurations into your current Engineering Solutions session, or append configurations on top of existing configurations.

• Save configurations.
  1. In the white space of the Model Checker, right-click and select Save Config File from the context menu.
  2. In the Save dialog, specify a file name and directory to save the external .xml configuration file and click Save.
• Add configurations.
  1. In the white space of the Model Checker, right-click and select Add File from the context menu.
  2. In the Add Config File dialog, navigate to the configuration file to add and click Open.
• Import configurations.
  1. In the white space of the Model Checker, right-click and select Load File from the context menu.
  2. In the Load Config File dialog, navigate to the configuration file to import and click Open.