*modelcheck_runchecks

Runs model checker checks.

Syntax

*modelcheck_runchecks ?check_display_name? ?entity_type? ?mark_id?

Type

HyperMesh Tcl Modify

Description

Runs model checker checks.

If executed with no arguments, then all checks for all entity types in the profile are run.

Inputs

check_display_name
The GUI display name of the check. This is case sensitive.
If not provided or set to "ALL", then all the checks of the entity_type for the profile are run.
entity_type
The type of entity to be checked.
If not provided or set to "ALL", then all checks of all entity types are run.
mark_id
The ID of the mark of entities for which model checker is to be run. Valid values are 1 and 2.

Examples

Run the check named "checkname":

*modelcheck_runchecks checkname

Run all checks on properties 1-10 :

*createmark props 1 1-10
*modelcheck_runchecks "" props 1

Errors

Incorrect usage results in a Tcl error. To detect errors, you can use the catch command:
if { [ catch {command_name...} ] } {
   # Handle error
}

Version History

2019