Model.hm_getmodelcheckfailedcount

Model.hm_getmodelcheckfailedcount(check_name)

Returns the number of entities failing a given model checker check.

Parameters:

check_name (hwString) – The name of the check, as given in the model checker config file.

Returns:

• hwReturnStatus - Status object

• HmQueryResult - Result object containing the output values:

  • numberOfFailedEntities (int)

Example

Get the number of entities fail the “ Number of defined materials “ check

import hm
import hm.entities as ent

model = hm.Model()

_, result = model.hm_getmodelcheckfailedcount(check_name="Number of defined materials")

print("numberOfFailedEntities:", result.numberOfFailedEntities)