About Configuring Creo Modelcheck
You can configure Creo ModelCHECK to run different checks at different times and report problems.
The following text files store the configuration options:
• config_init.mc (initialization file)—Specifies initialization settings.
• condition.mcc (condition file)
• setconf.mcc (condition file)
• <filename>.mch (check configuration file)—Specifies the checks to be run.
• <filename>.mcs (start configuration file)—Specifies start configuration.
• <filename>.mcn (constant configuration file)—Specifies constants.
• <filename>.mcq (status configuration file)
In addition, the following text files store the values required while checking models:
• <filename>.txt (external file)
• <filename>.mcg (group file)
By default, all configuration files are located in <modelcheck-loadpoint>/text/<language>/config. Use the MCDIR environment variable to specify an alternative location for the config directory.
.
To set the configuration options use one of the following methods:
• Create and modify configuration files using the ModelCHECK Configuration Tool dialog box.
• Create and modify configuration files using a Text Editor.
The ModelCHECK Configuration Tool dialog box allows you to:
• Access the existing and newly created configuration files from the left pane of the dialog box.
• Change the values of options in the configuration files.
• Save the configuration files. You can also store the earlier versions of the configuration files using the DIR_MC_BACKUP_CONFIG configuration option in the config_init.mc file.
• Create configuration files.
• See the list of configuration files for the current model.