I have been looking for ways to query the number of errors and error types associated with a certain node in a model. In other words, I would like to get the descriptions of model checker and traverse to the exact location on click. Could anyone tell me how can I focus on a certain part of a certain node by code? In other words, I would like to highlight a node by click.
Thanks in advance!