Config File

Model Checker customizations can be loaded and saved from an XML file.

After creating new checks and corrections, you can save all of the active checks to an XML file using the right-click context menu Save Config File option.

In addition, Model Checker supports the reading of legacy (pre-2019) text-based config files. If you have such files, you can use the right-click context menu Load File option to read the checks. If the config file is to be read on top of the existing checks, then use the right-click context menu Add File option.

You may also convert legacy text-based config files into the XML format by:
  • Importing the text based config file using the right-click context menu Load File option.
  • Writing out the XML file using the right-click context menu Save Config File option.