Highlighting Invalid Features  

atarget.gif (1372 bytes) This task explains how to highlight invalid features after a check has been performed.
atarget.gif (1372 bytes) Before performing this task, make sure a check has been created, and the rule base has been solved.

  1. In the specification tree, right-click the check.

  2. Select Highlight Failed Components from the contextual menu.

aendtask.gif (1477 bytes)